Combining Model Learning and Model Checking to Analyze TCP Implementations

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	Combining Model Learning and Model Checking to Analyze TCP Implementations
Author(s):	Fiterau-Brostean, P. ; Janssen, R. ; Vaandrager, F.W.
Publication year:	2016
In:	Lecture Notes in Computer Science, (2016)Chaudhuri, S. (ed.), Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, pp. 454-471
Publisher:	Berlin : Springer
ISBN:	9783319415406
ISSN:	0302-9743
DOI:	https://doi.org/10.1007/978-3-319-41540-6_25
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/159606
Display more details
Editor(s):	Chaudhuri, S.
Subject:	Software Science
Organization:	Software Science
Journal title:	Lecture Notes in Computer Science
Book title:	Chaudhuri, S. (ed.), Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Page start:	p. 454
Page end:	p. 471

Faculty of Science [26371]
Open Access publications [49213]
Freely accessible full text publications
Electronic publications [76727]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [168150]
Academic output Radboud University