Conference item icon

Conference item

Reachability−Time Games on Timed Automata

Actions


Authors


Marcin Jurdzinski More by this author
Ashutosh Trivedi More by this author
Publisher:
Springer
Volume:
4596
Publication date:
2007
URN:
uuid:ce2116b4-43f1-4847-930f-c63de5d2e514
Local pid:
cs:2746

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP