"Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method."

Sami Evangelista, Lars Michael Kristensen (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics