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

fabre-cdc03

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.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfolding ]

Contact

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

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)