BibTeX record conf/apn/TredupE20

download as .bib file

@inproceedings{DBLP:conf/apn/TredupE20,
  author       = {Ronny Tredup and
                  Evgeny Erofeev},
  editor       = {Wil M. P. van der Aalst and
                  Robin Bergenthum and
                  Josep Carmona},
  title        = {On the Complexity of Synthesis of nop-Free Boolean Petri Nets},
  booktitle    = {Proceedings of the International Workshop on Algorithms {\&} Theories
                  for the Analysis of Event Data 2020 Satellite event of the 41st International
                  Conference on Application and Theory of Petri Nets and Concurrency
                  Petri Nets 2020, virtual workshop, June 24, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2625},
  pages        = {66--84},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2625/paper-05.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/TredupE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics