%0 Conference Paper %1 conf/sigsoft/PradellaMP07 %A Pradella, Matteo %A Morzenti, Angelo %A Pietro, Pierluigi San %B ESEC/SIGSOFT FSE %D 2007 %E Crnkovic, Ivica %E Bertolino, Antonia %I ACM %K dblp %P 312-320 %T The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2007.html#PradellaMP07 %@ 978-1-59593-811-4

@inproceedings{conf/sigsoft/PradellaMP07, added-at = {2020-12-29T00:00:00.000+0100}, author = {Pradella, Matteo and Morzenti, Angelo and Pietro, Pierluigi San}, biburl = {https://www.bibsonomy.org/bibtex/2a77a31db75a85dde3b5f29c23c4fccaa/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2007}, editor = {Crnkovic, Ivica and Bertolino, Antonia}, ee = {https://doi.org/10.1145/1287624.1287669}, interhash = {392afafc1aa1f5e875cd30623e9270b4}, intrahash = {a77a31db75a85dde3b5f29c23c4fccaa}, isbn = {978-1-59593-811-4}, keywords = {dblp}, pages = {312-320}, publisher = {ACM}, timestamp = {2024-04-09T17:51:56.000+0200}, title = {The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2007.html#PradellaMP07}, year = 2007 }