@article{journals/corr/abs-0804-4383,
	title = {Practical Automated Partial Verification of Multi-Paradigm Real-Time Models},
	author = {Carlo A. Furia and Matteo Pradella and Matteo Rossi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0804.html#abs-0804-4383},
	volume = {abs/0804.4383},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/29bf7de7f7904c18bed4dc90595f282d0/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/0804.4383}, date = {2008-05-05},
	keywords = {dblp }
}