%0 Conference Paper %1 conf/ictac/RenardFRPJM15 %A Renard, Matthieu %A Falcone, Yliès %A Rollet, Antoine %A Pinisetty, Srinivas %A Jéron, Thierry %A Marchand, Hervé %B ICTAC %D 2015 %E Leucker, Martin %E Rueda, Camilo %E Valencia, Frank D. %I Springer %K dblp %P 542-560 %T Enforcement of (Timed) Properties with Uncontrollable Events. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2015.html#RenardFRPJM15 %V 9399 %@ 978-3-319-25149-3

@inproceedings{conf/ictac/RenardFRPJM15, added-at = {2019-09-16T00:00:00.000+0200}, author = {Renard, Matthieu and Falcone, Yliès and Rollet, Antoine and Pinisetty, Srinivas and Jéron, Thierry and Marchand, Hervé}, biburl = {https://www.bibsonomy.org/bibtex/209dbc4776040c87130101f5fa996300a/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2015}, editor = {Leucker, Martin and Rueda, Camilo and Valencia, Frank D.}, ee = {https://doi.org/10.1007/978-3-319-25150-9_31}, interhash = {f3f906cb92fdb795077d3c622b5d22c1}, intrahash = {09dbc4776040c87130101f5fa996300a}, isbn = {978-3-319-25149-3}, keywords = {dblp}, pages = {542-560}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:22:32.000+0200}, title = {Enforcement of (Timed) Properties with Uncontrollable Events.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2015.html#RenardFRPJM15}, volume = 9399, year = 2015 }