BibTeX record conf/atva/SickertK16

download as .bib file

@inproceedings{DBLP:conf/atva/SickertK16,
  author    = {Salomon Sickert and
               Jan Kret{\'{\i}}nsk{\'{y}}},
  title     = {MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic
               B{\"{u}}chi Automata},
  booktitle = {{ATVA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9938},
  pages     = {130--137},
  year      = {2016}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics