Transforming coloured petri nets to counter systems for parametric verification: a stop-and-wait protocol case study
Date
2005
Authors
Billington, J.
Gallasch, G.E.
Petrucci, L.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings of MOMPES 05: 2nd International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2005
Statement of Responsibility
Conference Name
(6 Jun 2005 : Rennes, France)
Abstract
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright status unknown