S. Haar, A. Benveniste, E. Fabre. Markov nets : A new probabilistic model for fault diagnosis in concurrent systems. In Workshop on Concurrency in Dependable Computing, Newcastle, June 2001.
[ Partial orders ] [ Scenarios ] [ Unfolding ]
Stefan Haar http://www.irisa.fr/distribcom
Albert Benveniste http://www.irisa.fr/distribcom
Eric Fabre http://www.irisa.fr/distribcom
@InProceedings{thaar-pre-icatpn01,
Author = {Haar, S. and Benveniste, A. and Fabre, E.},
Title = {{Markov} nets : A new probabilistic model for fault diagnosis in concurrent systems},
BookTitle = {Workshop on Concurrency in Dependable Computing, Newcastle},
Month = {June},
Year = {2001}
}
Get EndNote Reference (.ref)