Synchronized Recursive Timed Automata.

Yuya Uezato, Yasuhiko Minamide

Browse the full LPAR paper archive.