%0 Journal Article %1 journals/tcs/BersaniRP17 %A Bersani, Marcello M. %A Rossi, Matteo %A Pietro, Pierluigi San %D 2017 %J Theor. Comput. Sci. %K dblp %P 46-59 %T A logical characterization of timed regular languages. %U http://dblp.uni-trier.de/db/journals/tcs/tcs658.html#BersaniRP17 %V 658

@article{journals/tcs/BersaniRP17, added-at = {2023-04-17T00:00:00.000+0200}, author = {Bersani, Marcello M. and Rossi, Matteo and Pietro, Pierluigi San}, biburl = {https://www.bibsonomy.org/bibtex/28e584de5f0b3802ee11aee478ea72b61/dblp}, ee = {https://doi.org/10.1016/j.tcs.2016.07.020}, interhash = {f58356b1f707cf8d440d5d5561a6d4fc}, intrahash = {8e584de5f0b3802ee11aee478ea72b61}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {46-59}, timestamp = {2024-04-08T18:42:07.000+0200}, title = {A logical characterization of timed regular languages.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs658.html#BersaniRP17}, volume = 658, year = 2017 }