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

Cached

Download Links

by Soren Christensen , Lars Michael Kristensen , Thomas Mailund , Lars Michael
Citations:44 - 21 self