@inproceedings{conf/formats/FuriaR06,
	title = {Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.},
	author = {Carlo A. Furia and Matteo Rossi},
	booktitle = {FORMATS},
	crossref = {conf/formats/2006},
	editor = {Eugene Asarin and Patricia Bouyer},
	pages = {215-229},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/formats/formats2006.html#FuriaR06},
	volume = {4202},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/220dcd66fc5c08d1f226966d25c206a4f/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11867340_16}, isbn = {3-540-45026-2}, date = {2006-10-23},
	keywords = {dblp }
}