BibTeX record conf/apn/SimonsenKK15

download as .bib file

@inproceedings{DBLP:conf/apn/SimonsenKK15,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen and
               Ekkart Kindler},
  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},
  pages     = {79--98},
  year      = {2015},
  crossref  = {DBLP:conf/apn/2015pnse},
  url       = {http://ceur-ws.org/Vol-1372/paper5.pdf},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/SimonsenKK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2015pnse,
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke and
               Harald St{\"{o}}rrle},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1372},
  urn       = {urn:nbn:de:0074-1372-0},
  timestamp = {Tue, 28 May 2019 16:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2015pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics