Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.

Rodolfo Gmez, Howard Bowman

Browse the full FORTE paper archive.