Parameterized Program Safety and Liveness via Thread-modular Counter Abstraction (bibtex)
by Thomas Pani, Georg Weissenbacher, Florian Zuleger
Reference:
Parameterized Program Safety and Liveness via Thread-modular Counter AbstractionThomas Pani, Georg Weissenbacher, Florian Zuleger2020.Note: Paper presented at the FMCAD'20 student forum
Bibtex Entry:
@unpublished{fmcad20sf,
  title= {Parameterized Program Safety and Liveness via Thread-modular Counter
          Abstraction},
  author = {Thomas Pani and Georg Weissenbacher and Florian Zuleger},
  year = {2020},
  note= {Paper presented at the {FMCAD}'20 student forum},
  keywords = {"tmca"}
}
Powered by bibtexbrowser