Inproceedings,
Runtime Enforcement of Timed Properties.
S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, and O. Nguena-Timo.RV, volume 7687 of Lecture Notes in Computer Science, page 229-244. Springer, (2012)
Meta data
- BibTeX key
- conf/rv/PinisettyFJMRN12
- entry type
- inproceedings
- booktitle
- RV
- year
- 2012
- pages
- 229-244
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 7687
- crossref
- conf/rv/2012
- ee
- https://doi.org/10.1007/978-3-642-35632-2_23
- isbn
- 978-3-642-35632-2
- url
- http://dblp.uni-trier.de/db/conf/rv/rv2012.html#PinisettyFJMRN12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/rv/PinisettyFJMRN12
%A Pinisetty, Srinivas
%A Falcone, Yliès
%A Jéron, Thierry
%A Marchand, Hervé
%A Rollet, Antoine
%A Nguena-Timo, Omer Landry
%B RV
%D 2012
%E Qadeer, Shaz
%E Tasiran, Serdar
%I Springer
%K dblp
%P 229-244
%T Runtime Enforcement of Timed Properties.
%U http://dblp.uni-trier.de/db/conf/rv/rv2012.html#PinisettyFJMRN12
%V 7687
%@ 978-3-642-35632-2
@inproceedings{conf/rv/PinisettyFJMRN12,
added-at = {2018-11-02T00:00:00.000+0100},
author = {Pinisetty, Srinivas and Falcone, Yliès and Jéron, Thierry and Marchand, Hervé and Rollet, Antoine and Nguena-Timo, Omer Landry},
biburl = {https://www.bibsonomy.org/bibtex/2c7a28b1dd5077a8b943c9eae472ea999/dblp},
booktitle = {RV},
crossref = {conf/rv/2012},
editor = {Qadeer, Shaz and Tasiran, Serdar},
ee = {https://doi.org/10.1007/978-3-642-35632-2_23},
interhash = {32c1602a3afe95aef72692c9b381bdfc},
intrahash = {c7a28b1dd5077a8b943c9eae472ea999},
isbn = {978-3-642-35632-2},
keywords = {dblp},
pages = {229-244},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:15:18.000+0200},
title = {Runtime Enforcement of Timed Properties.},
url = {http://dblp.uni-trier.de/db/conf/rv/rv2012.html#PinisettyFJMRN12},
volume = 7687,
year = 2012
}