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

tBFH03

A. Benveniste, E. Fabre, S. Haar. Markov Nets: Probabilistic Models for distributed and concurrent systems. IEEE Transactions on Automatic Control, 48(11):1936-1950, November 2003.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfolding ]

Contact

Albert Benveniste http://www.irisa.fr/distribcom
Eric Fabre http://www.irisa.fr/distribcom
Stefan Haar http://www.irisa.fr/distribcom

BibTex Reference

@article{tBFH03,
   Author = {Benveniste, A. and Fabre, E. and Haar, S.},
   Title = {Markov Nets: Probabilistic Models for distributed and concurrent    systems},
   Journal = {IEEE Transactions on Automatic Control},
   Volume = {48},
   Number = {11},
   Pages = {1936--1950},
   Month = {November},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)