Jump to : Keywords | Contact | BibTex reference | EndNote reference |

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)