@inproceedings{conf/sigsoft/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},
	booktitle = {ESEC/SIGSOFT FSE},
	crossref = {conf/sigsoft/2007},
	editor = {Ivica Crnkovic and Antonia Bertolino},
	pages = {312-320},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2007.html#PradellaMP07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2a77a31db75a85dde3b5f29c23c4fccaa/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1287624.1287669}, isbn = {978-1-59593-811-4}, date = {2007-10-23},
	keywords = {dblp }
}