Transforming coloured petri nets to counter systems for parametric verification: a stop-and-wait protocol case study
| dc.contributor.author | Billington, J. | |
| dc.contributor.author | Gallasch, G.E. | |
| dc.contributor.author | Petrucci, L. | |
| dc.contributor.conference | (6 Jun 2005 : Rennes, France) | |
| dc.date.issued | 2005 | |
| dc.identifier.citation | Proceedings of MOMPES 05: 2nd International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2005 | |
| dc.identifier.uri | https://hdl.handle.net/1959.8/27419 | |
| dc.language.iso | en | |
| dc.publisher | TUCS General Publication | |
| dc.publisher.place | Finland | |
| dc.rights | Copyright status unknown | |
| dc.title | Transforming coloured petri nets to counter systems for parametric verification: a stop-and-wait protocol case study | |
| dc.type | Conference paper | |
| pubs.publication-status | Published | |
| ror.mmsid | 9915912205201831 |