BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Automated compositional proofs for real-time systems.

Theor. Comput. Sci., 376(3): 164-184, 2007.
Authors: Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti
URL: http://dblp.uni-trier.de/db/journals/tcs/tcs376.html#FuriaRMM07
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/tcs/FuriaRMM07,
title = {Automated compositional proofs for real-time systems.},
author = {Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti},
journal = {Theor. Comput. Sci.},
number = {3},
pages = {164-184},
url = {http://dblp.uni-trier.de/db/journals/tcs/tcs376.html#FuriaRMM07},
volume = {376},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1016/j.tcs.2007.02.003}, date = {2007-05-09},
keywords = {dblp }
}