Timed Automata with Data Structures for Distributed Systems Design and Analysis.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Browse the full SEFM paper archive.