Vol-1371⫷ Vol-1372 ⫸Vol-1373
urn:nbn:de:0074-1372-0


Vol-1372/paper4⫷Vol-1372/paper5⫸Vol-1372/paper6
Kent Inge Fagerland SimonsenLars Michael KristensenEkkart Kindler

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification