Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fulltext present in this item
Fulltext:
134896.pdf
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:
https://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
This item appears in the following Collection(s)
Open Access publications
[56557]
Freely accessible full text publications
Electronic publications
[87086]
Freely accessible full text publications plus those not yet available due to embargo
Faculty of Science
[28910]
Academic publications
[187613]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Advanced Search
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics