%0 Conference Paper %1 conf/icalp/BrihayeHPR07 %A Brihaye, Thomas %A Henzinger, Thomas A. %A Prabhu, Vinayak S. %A Raskin, Jean-François %B ICALP %D 2007 %E Arge, Lars %E Cachin, Christian %E Jurdzinski, Tomasz %E Tarlecki, Andrzej %I Springer %K dblp %P 825-837 %T Minimum-Time Reachability in Timed Games. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2007.html#BrihayeHPR07 %V 4596 %@ 978-3-540-73420-8

@inproceedings{conf/icalp/BrihayeHPR07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Brihaye, Thomas and Henzinger, Thomas A. and Prabhu, Vinayak S. and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/20defcbedf7c5272927e988be74c28709/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2007}, editor = {Arge, Lars and Cachin, Christian and Jurdzinski, Tomasz and Tarlecki, Andrzej}, ee = {https://doi.org/10.1007/978-3-540-73420-8_71}, interhash = {2aef747a0b413cd968e90178000bbbed}, intrahash = {0defcbedf7c5272927e988be74c28709}, isbn = {978-3-540-73420-8}, keywords = {dblp}, pages = {825-837}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:16.000+0200}, title = {Minimum-Time Reachability in Timed Games.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2007.html#BrihayeHPR07}, volume = 4596, year = 2007 }