A Sweep-Line Method for State Space Exploration.

Sren Christensen, Lars Michael Kristensen, Thomas Mailund

Browse the full TACAS paper archive.