BibTeX record conf/apn/SimonsenKK15

download as .bib file

  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen and
               Ekkart Kindler},
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke and
               Harald St{\"{o}}rrle},
  title     = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation
               and Verification},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'15), including the International Workshop on Petri
               Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
               satellite event of the conferences: 36th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2015 and 15th International Conference on Application of Concurrency
               to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1372},
  pages     = {79--98},
  publisher = {},
  year      = {2015},
  url       = {},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics