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 WidderCONCUR 2018, 2018.Note: (to appear)
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 = {CONCUR 2018},
  year      = {2018},
  note      = {(to appear)},
  keywords  = {"conference"}
}
Powered by bibtexbrowser