Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro. The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 312-320, ACM, 2007. [doi]
@inproceedings{PradellaMP07,
title = {The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties},
author = {Matteo Pradella and Angelo Morzenti and Pierluigi San Pietro},
year = {2007},
doi = {10.1145/1287624.1287669},
url = {http://doi.acm.org/10.1145/1287624.1287669},
researchr = {https://researchr.org/publication/PradellaMP07},
cites = {0},
citedby = {0},
pages = {312-320},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering},
editor = {Ivica Crnkovic and Antonia Bertolino},
publisher = {ACM},
isbn = {978-1-59593-811-4},
}