@inproceedings{MLK10,
title = { On Zone-Based Analysis of Duration Probabilistic Automata },
author = {Maler, Oded and Larsen, Kim Guldstrand and Krogh, Bruce H.},
year = {2010},
booktitle = {Proceedings 12th International Workshop on Verification of Infinite-State Systems},
pages = {33-46},
series = {EPTCS},
volume = {39},
team = {TEMPO},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 33131756
|
|
|