-
Selection by year
-
Selection by authors
-
Complete lists
tbenveniste-cdc01
A. Benveniste, E. Fabre, S. Haar. Markov Nets\,: Probabilistic Models for Distributed and Concurrent Systems. In 40th IEEE Conference on Decision and Control (CDC), Orlando, Paper FrP12-6, December 2001.
Keywords
[ Partial orders ] [ Scenarios ] [ Unfoldings ]
Contact
Eric Fabre http://people.rennes.inria.fr/Eric.Fabre/
BibTex Reference
@InProceedings{tbenveniste-cdc01,
Author = {Benveniste, A. and Fabre, E. and Haar, S.},
Title = {Markov Nets\,: Probabilistic Models for Distributed and Concurrent Systems},
BookTitle = {40th IEEE Conference on Decision and Control (CDC), Orlando},
Month = {December},
Year = {2001}
}
EndNote Reference [help]
Get EndNote Reference (.ref)