%0 Journal Article %1 journals/topnoc/SimonsenKK16 %A Simonsen, Kent Inge Fagerland %A Kristensen, Lars Michael %A Kindler, Ekkart %B Trans. Petri Nets and Other Models of Concurrency %D 2016 %E Koutny, Maciej %E Desel, Jörg %E Kleijn, Jetty %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 1-27 %T Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc11.html#SimonsenKK16 %V 11 %@ 978-3-662-53400-7

@article{journals/topnoc/SimonsenKK16, added-at = {2020-03-13T00:00:00.000+0100}, author = {Simonsen, Kent Inge Fagerland and Kristensen, Lars Michael and Kindler, Ekkart}, biburl = {https://www.bibsonomy.org/bibtex/295706c6f38fca74ecf1f01c12c8e1614/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2016-11}, editor = {Koutny, Maciej and Desel, Jörg and Kleijn, Jetty}, ee = {https://www.wikidata.org/entity/Q54957335}, interhash = {cb5a816c2de43892cacc3ae51da0f82d}, intrahash = {95706c6f38fca74ecf1f01c12c8e1614}, isbn = {978-3-662-53400-7}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {1-27}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:30.000+0100}, title = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc11.html#SimonsenKK16}, volume = 11, year = 2016 }