%0 Conference Paper %1 conf/apn/SimonsenKK15 %A Simonsen, Kent Inge Fagerland %A Kristensen, Lars Michael %A Kindler, Ekkart %B PNSE @ Petri Nets %D 2015 %E Moldt, Daniel %E Rölke, Heiko %E Störrle, Harald %I CEUR-WS.org %K dblp %P 79-98 %T Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. %U http://dblp.uni-trier.de/db/conf/apn/pnse2015.html#SimonsenKK15 %V 1372

@inproceedings{conf/apn/SimonsenKK15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Simonsen, Kent Inge Fagerland and Kristensen, Lars Michael and Kindler, Ekkart}, biburl = {https://www.bibsonomy.org/bibtex/24a4748f64836cc6a03c6c5d4561d3a3a/dblp}, booktitle = {PNSE @ Petri Nets}, crossref = {conf/apn/2015pnse}, editor = {Moldt, Daniel and Rölke, Heiko and Störrle, Harald}, ee = {https://ceur-ws.org/Vol-1372/paper5.pdf}, interhash = {1a0b07c4a9758a7bf0faa7593b339acb}, intrahash = {4a4748f64836cc6a03c6c5d4561d3a3a}, keywords = {dblp}, pages = {79-98}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T12:02:35.000+0200}, title = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.}, url = {http://dblp.uni-trier.de/db/conf/apn/pnse2015.html#SimonsenKK15}, volume = 1372, year = 2015 }