BibTeX record conf/apn/SimonsenKK15

• > Home > conf/apn/SimonsenKK15

@inproceedings{DBLP:conf/apn/SimonsenKK15,
  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 = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1372/paper5.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/SimonsenKK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}