Reachability in Parameterized Systems: All Flavors of Threshold Automata

Kukovec, Jure; Konnov, Igor; Widder, Josef

doi:10.4230/LIPIcs.CONCUR.2018.19

by Jure Kukovec, Igor Konnov, Josef Widder

Reference:

Reachability in Parameterized Systems: All Flavors of Threshold AutomataJure Kukovec, Igor Konnov, Josef Widder29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China (Sven Schewe, Lijun Zhang, eds.), volume 118 of LIPIcs, pages 19:1–19:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

@inproceedings{DBLP:conf/concur/Kukovec0W18,
  author    = {Jure Kukovec and
               Igor Konnov and
               Josef Widder},
  editor    = {Sven Schewe and
               Lijun Zhang},
  title     = {Reachability in Parameterized Systems: All Flavors of Threshold Automata},
  booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
               September 4-7, 2018, Beijing, China},
  series    = {LIPIcs},
  volume    = {118},
  pages     = {19:1--19:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.19},
  doi       = {10.4230/LIPIcs.CONCUR.2018.19},
  timestamp = {Sat, 05 Sep 2020 18:00:10 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/Kukovec0W18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}