Reachability−Time Games on Timed Automata
Marcin Jurdzinski and Ashutosh Trivedi
Book Title
Automata‚ Languages and Programming
Journal
ICALP
Pages
838–849
Publisher
Springer
Series
LNCS
Volume
4596
Year
2007
Marcin Jurdzinski and Ashutosh Trivedi