Sami Evangelista, Lars Michael Kristensen. A Sweep-Line Method for Büchi Automata-based Model Checking. Fundamenta Informaticae, 131(1):27-53, 2014. [doi]
@article{EvangelistaK14,
title = {A Sweep-Line Method for Büchi Automata-based Model Checking},
author = {Sami Evangelista and Lars Michael Kristensen},
year = {2014},
doi = {10.3233/FI-2014-1003},
url = {http://dx.doi.org/10.3233/FI-2014-1003},
researchr = {https://researchr.org/publication/EvangelistaK14},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {131},
number = {1},
pages = {27-53},
}