Thread-modular Counter Abstraction for Parameterized Program Safety (bibtex)
by Thomas Pani, Georg Weissenbacher, Florian Zuleger
Reference:
Thread-modular Counter Abstraction for Parameterized Program SafetyThomas Pani, Georg Weissenbacher, Florian ZulegerFormal Methods in Computer Aided Design, FMCAD (Alexander Ivrii, Ofer Strichman, eds.), 2020.Note: to appear
Bibtex Entry:
@inproceedings{DBLP:conf/fmcad/PaniWZ20,
  author    = {Thomas Pani and
               Georg Weissenbacher and
               Florian Zuleger},
  editor    = {Alexander Ivrii and Ofer Strichman},
  title     = {Thread-modular Counter Abstraction for Parameterized Program Safety},
  booktitle = {Formal Methods in Computer Aided Design, {FMCAD}},
  year      = {2020},
  url       = {http://forsyte.at/static/people/pani/fmcad20.pdf},
  note = {to appear},
  keywords  = {"tmca"}
}
Powered by bibtexbrowser