%0 Conference Paper %1 conf/time/FerrucciMMR12 %A Ferrucci, Luca %A Mandrioli, Dino %A Morzenti, Angelo %A Rossi, Matteo %B TIME %D 2012 %E Moszkowski, Ben C. %E Reynolds, Mark %E Terenziani, Paolo %I IEEE Computer Society %K dblp %P 81-88 %T A Metric Temporal Logic for Dealing with Zero-Time Transitions. %U http://dblp.uni-trier.de/db/conf/time/time2012.html#FerrucciMMR12 %@ 978-1-4673-2659-9

@inproceedings{conf/time/FerrucciMMR12, added-at = {2024-02-05T00:00:00.000+0100}, author = {Ferrucci, Luca and Mandrioli, Dino and Morzenti, Angelo and Rossi, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/226fafa58ed2d10a139a802e8e023351e/dblp}, booktitle = {TIME}, crossref = {conf/time/2012}, editor = {Moszkowski, Ben C. and Reynolds, Mark and Terenziani, Paolo}, ee = {https://doi.ieeecomputersociety.org/10.1109/TIME.2012.22}, interhash = {ef5b0d729f03f2038d3f6eea813e1bbf}, intrahash = {26fafa58ed2d10a139a802e8e023351e}, isbn = {978-1-4673-2659-9}, keywords = {dblp}, pages = {81-88}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T22:39:34.000+0200}, title = {A Metric Temporal Logic for Dealing with Zero-Time Transitions.}, url = {http://dblp.uni-trier.de/db/conf/time/time2012.html#FerrucciMMR12}, year = 2012 }