Specifying and proving properties of timed I/O automata in the TIOA toolkit.

Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno

Browse the full MEMOCODE paper archive.