OXFORD UNIVERSITY COMPUTING LABORATORY

Reachability-Time Games on Timed Automata

Marcin Jurdzinski and Ashutosh Trivedi

info

book title

Automata, Languages and Programming

journal

ICALP

pages

838—849

publisher

Springer

series

LNCS

volume

4596

year

2007

links

BibTeX

Link

related pages

people

Random Image
Random Image
Random Image