%0 Journal Article %1 journals/csur/FuriaPR09 %A Furia, Carlo A. %A Pradella, Matteo %A Rossi, Matteo %D 2009 %J ACM Comput. Surv. %K dblp %N 2 %P 13:1-13:5 %T Comments on temporal logics for real-time system specification. %U http://dblp.uni-trier.de/db/journals/csur/csur41.html#FuriaPR09 %V 41

@article{journals/csur/FuriaPR09, added-at = {2024-08-05T00:00:00.000+0200}, author = {Furia, Carlo A. and Pradella, Matteo and Rossi, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/27fcd244828083a7b729414693314122e/dblp}, ee = {https://doi.org/10.1145/1459352.1459358}, interhash = {e602cf190b29fc08edcc2848937eb124}, intrahash = {7fcd244828083a7b729414693314122e}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = 2, pages = {13:1-13:5}, timestamp = {2024-08-12T07:02:38.000+0200}, title = {Comments on temporal logics for real-time system specification.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur41.html#FuriaPR09}, volume = 41, year = 2009 }