%0 Conference Paper %1 conf/cav/BrihayeGHM17 %A Brihaye, Thomas %A Geeraerts, Gilles %A Ho, Hsi-Ming %A Monmege, Benjamin %B CAV (1) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K %P 421-440 %T MightyL: A Compositional Translation from MITL to Timed Automata. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#BrihayeGHM17 %V 10426 %@ 978-3-319-63387-9

@inproceedings{conf/cav/BrihayeGHM17, added-at = {2023-12-14T16:48:42.000+0100}, author = {Brihaye, Thomas and Geeraerts, Gilles and Ho, Hsi-Ming and Monmege, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/293e0bb5cd80f1a4ef17d985808156712/admin}, booktitle = {CAV (1)}, crossref = {conf/cav/2017-1}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63387-9_21}, interhash = {fd70b0541c213fbcb3a82e94eb4536d9}, intrahash = {93e0bb5cd80f1a4ef17d985808156712}, isbn = {978-3-319-63387-9}, keywords = {}, pages = {421-440}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:48:42.000+0100}, title = {MightyL: A Compositional Translation from MITL to Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#BrihayeGHM17}, volume = 10426, year = 2017 }