-
Selection by year
-
Selection by authors
-
Complete lists
thaar-pre-icatpn01
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.
Keywords
[ Partial orders ] [ Scenarios ] [ Unfoldings ]
Contact
Eric Fabre http://people.rennes.inria.fr/Eric.Fabre/
BibTex Reference
@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}
}
EndNote Reference [help]
Get EndNote Reference (.ref)