BibTeX record journals/topnoc/Wolf19

download as .bib file

@article{DBLP:journals/topnoc/Wolf19,
  author    = {Karsten Wolf},
  title     = {How Petri Net Theory Serves Petri Net Model Checking: {A} Survey},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {36--63},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics