Distributing Timed Model Checking - How the Search Order Matters.

Gerd Behrmann Thomas Hune Frits W. Vaandrager Distributing Timed Model Checking - How the Search Order Matters. 216-231 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#BehrmannHV00