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

haar-cdc03

S. Haar, A. Benveniste, E. Fabre, C. Jard. Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In 42nd IEEE Conference on Decision and Control (CDC), 2003.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfoldings ]

Contact

Eric Fabre http://people.rennes.inria.fr/Eric.Fabre/

BibTex Reference

@InProceedings{haar-cdc03,
   Author = {Haar, S. and Benveniste, A. and Fabre, E. and Jard, C.},
   Title = {Partial Order Diagnosability of Discrete Event Systems using Petri    Nets Unfoldings},
   BookTitle = {42nd IEEE Conference on Decision and Control (CDC)},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)