Visual Verification of Reactive Systems.

Luca de Alfaro, Zohar Manna, Henny B. Sipma, Toms E. Uribe

Browse the full TACAS paper archive.