A Generalised Sweep-Line Method for Safety Properties.

Lars Michael Kristensen, Thomas Mailund

Browse the full FM paper archive.