%0 Conference Paper %1 conf/rv/PinisettyFJM15 %A Pinisetty, Srinivas %A Falcone, Yliès %A Jéron, Thierry %A Marchand, Hervé %B RV %D 2015 %E Bartocci, Ezio %E Majumdar, Rupak %I Springer %K dblp %P 306-320 %T TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. %U http://dblp.uni-trier.de/db/conf/rv/rv2015.html#PinisettyFJM15 %V 9333 %@ 978-3-319-23819-7

@inproceedings{conf/rv/PinisettyFJM15, added-at = {2019-09-16T00:00:00.000+0200}, author = {Pinisetty, Srinivas and Falcone, Yliès and Jéron, Thierry and Marchand, Hervé}, biburl = {https://www.bibsonomy.org/bibtex/223a390435852be73317f4ee50da5a346/dblp}, booktitle = {RV}, crossref = {conf/rv/2015}, editor = {Bartocci, Ezio and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-319-23820-3_22}, interhash = {b4fc9f948b3117aec217571a2873803e}, intrahash = {23a390435852be73317f4ee50da5a346}, isbn = {978-3-319-23819-7}, keywords = {dblp}, pages = {306-320}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:08:38.000+0200}, title = {TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2015.html#PinisettyFJM15}, volume = 9333, year = 2015 }