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


Vol-1372/paper4⫷Vol-1372/paper5⫸Vol-1372/paper6

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification