%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 }