Oxford logo
[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]
Downloads:  pdf pdf (266 KB)  bib bib
Notes: The original publication is available at www.springerlink.com.

QAV:

Home

People

Projects

Publications