Haar2007

S. Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets. In Proceedings CDC, 2007.

Keyword

[ Petri nets ]

Contact

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

BibTex Reference

@InProceedings{Haar2007,
   Author = {Haar, S.},
   Title = {Unfold and Cover: Qualitative Diagnosability for Petri Nets},
   BookTitle = {Proceedings CDC},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)