A Sweep-Line Method for State Space Exploration (2001)

by S Christensen, L M Kristensen, T Mailund
Venue:In Proc. of TACAS’01, volume 2031 of LNCS