Generating models of infinite-state communication protocols using regular inference with abstraction

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	Generating models of infinite-state communication protocols using regular inference with abstraction
Author(s):	Aarts, F.D. ; Jonsson, B.; Uijen, J.A.B.M.; Vaandrager, F.
Publication year:	2015
Source:	Formal Methods in System Design, vol. 46, iss. 1, (2015), pp. 1-41
ISSN:	0925-9856
DOI:	http://dx.doi.org/10.1007/s10703-014-0216-x
Annotation:	16 januari 2015
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/134896
Display more details
Subject:	Software Science
Organization:	Software Science
Journal title:	Formal Methods in System Design
Volume:	vol. 46
Issue:	iss. 1
Page start:	p. 1
Page end:	p. 41

Faculty of Science [27140]
Open Access publications [51507]
Freely accessible full text publications
Electronic publications [80397]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [176039]
Academic output Radboud University