Specification and Verification of Timed Lazy Systems.

Flavio Corradini, Marco Pistore

Browse the full MFCS paper archive.