Generating Models of In nite-State Communication Protocols using Regular Inference with Abstraction

Fulltext present in this item

Fulltext: 117015.pdf

Format: PDF

Description: preprint version

Title:	Generating Models of In nite-State Communication Protocols using Regular Inference with Abstraction
Author(s):	Aarts, F.D. ; Jonsson, B.; Uijen, J.; Vaandrager, F.W.
Publication year:	2013
Publisher:	Nijmegen : ICIS
Number of Pages:	39 p.
Series:	Technical Report ; ICIS-R13001
Publication type:	External research report
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/117015
Display more details
Subject:	Software Science
Organization:	Software Science

Open Access publications [56924]
Freely accessible full text publications
Electronic publications [87458]
Freely accessible full text publications plus those not yet available due to embargo
Faculty of Science [28950]
Academic publications [187718]
Academic output Radboud University