HaarRR-5248

S. Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. Research Report INRIA, No 5248, 2004.

Note on this paper

Partial orders, scenarios, unfolding

Keywords

[ Partial orders ] [ Unfolding ]

Contact

Stefan Haar http://www.irisa.fr/distribcom

BibTex Reference

@TechReport{HaarRR-5248,
   Author = {Haar, S.},
   Title = {Diagnosability Of Asynchronous Discrete Event Systems in Partial    Order Semantics},
   Number = {5248},
   Institution = {INRIA},
   Month = {},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)