[TW10a]
A. Trivedi and D. Wojtczak.
Recursive Timed Automata.
In A. Boujjani and W-N Chin (editors), Proc. of 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), volume 6252 of LNCS, pages 306-324, Springer.
2010.
[pdf]
[bib]
|
pdf (266 KB)
bib