BibTeX record conf/acsd/MascheroniWW10

download as .bib file

  author    = {Marco Mascheroni and
               Thomas Wagner and
               Lars W{\"{u}}stenberg},
  editor    = {Susanna Donatelli and
               Jetty Kleijn and
               Ricardo Jorge Machado and
               Jo{\~{a}}o M. Fernandes},
  title     = {Verifying Reference Nets By Means of Hypernets: a Plugin for Renew},
  booktitle = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models of Concurrency
               {(PETRI} {NETS} 2010) and of the 10th International Conference on
               Application of Concurrency to System Design {(ACSD} 2010), Braga,
               Portugal, June, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {827},
  pages     = {285--299},
  publisher = {},
  year      = {2010},
  url       = {\_MarcoMascheroni\_article.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:29 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics