BibTeX record journals/corr/abs-2009-08871

• > Home > journals/corr/abs-2009-08871

@inproceedings{DBLP:journals/corr/abs-2009-08871,
  author       = {Ronny Tredup and
                  Evgeny Erofeev},
  editor       = {Julien Lange and
                  Anastasia Mavridou and
                  Larisa Safina and
                  Alceste Scalas},
  title        = {On the Parameterized Complexity of Synthesizing Boolean Petri Nets
                  With Restricted Dependency},
  booktitle    = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
                  Online, 19 June 2020},
  series       = {{EPTCS}},
  volume       = {324},
  pages        = {78--95},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.324.7},
  doi          = {10.4204/EPTCS.324.7},
  timestamp    = {Tue, 21 Mar 2023 21:05:23 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-08871.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}