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:  

Practical Automated Partial Verification of Multi-Paradigm Real-Time Models

CoRR, abs/0804.43832008.
Authors: Carlo A. Furia and Matteo Pradella and Matteo Rossi
URL: http://dblp.uni-trier.de/db/journals/corr/corr0804.html#abs-0804-4383
Description: dblp
Tags: dblp
| URL | BibTeX  
@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},
description = {dblp},
ee = {http://arxiv.org/abs/0804.4383}, date = {2008-05-05},
keywords = {dblp }
}