BibTeX record conf/apn/SimonMSH19

download as .bib file

@inproceedings{DBLP:conf/apn/SimonMSH19,
  author    = {Michael Simon and
               Daniel Moldt and
               Dennis Schmitz and
               Michael Haustermann},
  title     = {Tools for Curry-Coloured Petri Nets},
  booktitle = {Petri Nets},
  series    = {Lecture Notes in Computer Science},
  volume    = {11522},
  pages     = {101--110},
  publisher = {Springer},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics