LMT:2007-FAC (Article)
|
Author(s) | Ruggero Lanotte, Andrea Maggiolo-Schettini and Angelo Troina |
Title | « Parametric Probabilistic Transition Systems for System Design and Analysis » |
Journal | Formal Aspects of Computing |
Volume | 19 |
Page(s) | 93-109 |
Year | 2007 |
URL | http://www.di.unito.it/~troina/publications/fac07.pdf |
@article{LMT:2007-FAC,
volume = {19},
url = {http://www.di.unito.it/~troina/publications/fac07.pdf},
title = {Parametric Probabilistic Transition Systems for System Design and
Analysis},
author = {Lanotte, Ruggero and Maggiolo-Schettini, Andrea and Troina, Angelo},
pages = {93-109},
year = {2007},
journal = {Formal Aspects of Computing},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)