@inproceedings{conf/fase/FuriaRMM05,
title = {Automated Compositional Proofs for Real-Time Systems.},
author = {Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti},
booktitle = {FASE},
crossref = {conf/fase/2005},
editor = {Maura Cerioli},
pages = {326-340},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/fase/fase2005.html#FuriaRMM05},
volume = {3442},
year = {2005},
description = {dblp},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=326}, isbn = {3-540-25420-X}, date = {2005-03-03},
keywords = {dblp }
}
::