Randomized Refinement Checking of Timed I/O Automata.

Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman

Browse the full SETTA paper archive.