Reachability in Parameterized Systems: All Flavors of Threshold Automata (bibtex)
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, pages 19:1-19:17, 2018.
Bibtex Entry:
@inproceedings{KKW18:concur,
  author    = {Jure Kukovec and
               Igor Konnov and
               Josef Widder},
  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},
  pages     = {19:1--19:17},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.19},
  doi       = {10.4230/LIPIcs.CONCUR.2018.19},
}
Powered by bibtexbrowser