Inproceedings,
The Element of Surprise in Timed Games.
L. de Alfaro, M. Faella, T. Henzinger, R. Majumdar, and M. Stoelinga.CONCUR, volume 2761 of Lecture Notes in Computer Science, page 142-156. Springer, (2003)
Meta data
- BibTeX key
- conf/concur/AlfaroFHMS03
- entry type
- inproceedings
- booktitle
- CONCUR
- year
- 2003
- pages
- 142-156
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 2761
- crossref
- conf/concur/2003
- ee
- https://doi.org/10.1007/978-3-540-45187-7_9
- isbn
- 3-540-40753-7
- url
- http://dblp.uni-trier.de/db/conf/concur/concur2003.html#AlfaroFHMS03
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/concur/AlfaroFHMS03
%A de Alfaro, Luca
%A Faella, Marco
%A Henzinger, Thomas A.
%A Majumdar, Rupak
%A Stoelinga, Mariëlle
%B CONCUR
%D 2003
%E Amadio, Roberto M.
%E Lugiez, Denis
%I Springer
%K dblp
%P 142-156
%T The Element of Surprise in Timed Games.
%U http://dblp.uni-trier.de/db/conf/concur/concur2003.html#AlfaroFHMS03
%V 2761
%@ 3-540-40753-7
@inproceedings{conf/concur/AlfaroFHMS03,
added-at = {2017-05-23T00:00:00.000+0200},
author = {de Alfaro, Luca and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mariëlle},
biburl = {https://www.bibsonomy.org/bibtex/2218df4540188048855d936f336fba3d7/dblp},
booktitle = {CONCUR},
crossref = {conf/concur/2003},
editor = {Amadio, Roberto M. and Lugiez, Denis},
ee = {https://doi.org/10.1007/978-3-540-45187-7_9},
interhash = {0a2b14dbda6d0c3b39552e1bc9a38d69},
intrahash = {218df4540188048855d936f336fba3d7},
isbn = {3-540-40753-7},
keywords = {dblp},
pages = {142-156},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:56:54.000+0200},
title = {The Element of Surprise in Timed Games.},
url = {http://dblp.uni-trier.de/db/conf/concur/concur2003.html#AlfaroFHMS03},
volume = 2761,
year = 2003
}