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:  

Finite horizon analysis of Markov Chains with the Murphi verifier.

STTT, 8(4-5): 397-409, 2006.
Authors: Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli
URL: http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#PennaIMTZ06
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/sttt/PennaIMTZ06,
title = {Finite horizon analysis of Markov Chains with the Murphi verifier.},
author = {Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli},
journal = {STTT},
number = {4-5},
pages = {397-409},
url = {http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#PennaIMTZ06},
volume = {8},
year = {2006},
description = {dblp},
ee = {http://dx.doi.org/10.1007/s10009-005-0216-7}, date = {2007-02-07},
keywords = {dblp }
}