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:  

A Compositional Framework for Formally Verifying Modular Systems.

Electr. Notes Theor. Comput. Sci., 116: 185-198, 2005.
Authors: Carlo A. Furia and Matteo Rossi
URL: http://dblp.uni-trier.de/db/journals/entcs/entcs116.html#FuriaR05
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/entcs/FuriaR05,
title = {A Compositional Framework for Formally Verifying Modular Systems.},
author = {Carlo A. Furia and Matteo Rossi},
journal = {Electr. Notes Theor. Comput. Sci.},
pages = {185-198},
url = {http://dblp.uni-trier.de/db/journals/entcs/entcs116.html#FuriaR05},
volume = {116},
year = {2005},
description = {dblp},
ee = {http://dx.doi.org/10.1016/j.entcs.2004.02.076}, date = {2005-05-13},
keywords = {dblp }
}