A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed Unfoldings: a Tool to Address Distributed Discrete Event Systems Diagnosis. In Proc of the 42nd IEEE Conference on Decision and Control(CDC), 2003.
[ Partial orders ] [ Scenarios ] [ Unfolding ]
Albert Benveniste http://www.irisa.fr/distribcom
Stefan Haar http://www.irisa.fr/distribcom
Eric Fabre http://www.irisa.fr/distribcom
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{fabre-cdc03,
Author = {Benveniste, A. and Haar, S. and Fabre, E. and Jard, C.},
Title = {Distributed Unfoldings: a Tool to Address Distributed Discrete Event Systems Diagnosis},
BookTitle = {Proc of the 42nd IEEE Conference on Decision and Control(CDC)},
Year = {2003}
}
Get EndNote Reference (.ref)