%0 Journal Article %1 journals/tocl/MenghiBRP20 %A Menghi, Claudio %A Bersani, Marcello M. %A Rossi, Matteo %A Pietro, Pierluigi San %D 2020 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 26:1-26:44 %T Model Checking MITL Formulae on Timed Automata: A Logic-based Approach. %U http://dblp.uni-trier.de/db/journals/tocl/tocl21.html#MenghiBRP20 %V 21

@article{journals/tocl/MenghiBRP20, added-at = {2023-04-17T00:00:00.000+0200}, author = {Menghi, Claudio and Bersani, Marcello M. and Rossi, Matteo and Pietro, Pierluigi San}, biburl = {https://www.bibsonomy.org/bibtex/2351ba8e864218d2dcbbd593235a2abae/dblp}, ee = {https://doi.org/10.1145/3383687}, interhash = {bcfccd724b3981cdbe6c03451a664976}, intrahash = {351ba8e864218d2dcbbd593235a2abae}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {26:1-26:44}, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl21.html#MenghiBRP20}, volume = 21, year = 2020 }