"CTL Model Checking with the Sweep-line State Space Exploration Method."

Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics