Distributing Timed Model Checking - How the Search Order Matters.

Gerd Behrmann, Thomas Hune, Frits W. Vaandrager

Browse the full CAV paper archive.