%0 Journal Article %1 journals/tocl/FrigeriPS14 %A Frigeri, Achille %A Pasquale, Liliana %A Spoletini, Paola %D 2014 %J ACM Trans. Comput. Log. %K dblp %N 4 %P 30:1-30:22 %T Fuzzy Time in Linear Temporal Logic. %U http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#FrigeriPS14 %V 15

@article{journals/tocl/FrigeriPS14, added-at = {2023-03-21T00:00:00.000+0100}, author = {Frigeri, Achille and Pasquale, Liliana and Spoletini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2a081def613badff02c5024289801694f/dblp}, ee = {https://doi.org/10.1145/2629606}, interhash = {9d3db71cab177c9a10c715a0490d604f}, intrahash = {a081def613badff02c5024289801694f}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 4, pages = {30:1-30:22}, timestamp = {2024-04-08T12:38:30.000+0200}, title = {Fuzzy Time in Linear Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#FrigeriPS14}, volume = 15, year = 2014 }