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

thaar-wodes02a

A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. In Workshop on Discrete Event Systems (WODES), Zaragoza, October 2002.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfoldings ]

Contact

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

BibTex Reference

@InProceedings{thaar-wodes02a,
   Author = {Benveniste, A. and Fabre, E. and Jard, C. and Haar, S.},
   Title = {Diagnosis of asynchronous discrete event systems, a net unfolding    approach},
   BookTitle = {Workshop on Discrete Event Systems (WODES), Zaragoza},
   Month = {October},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)