Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann. Fault Diagnosis in Extended Finite State Machines. In Dieter Hogrefe, Anthony Wiles, editors, Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Volume 2644 of Lecture Notes in Computer Science, pages 197-210, Springer, 2003. [doi]
@inproceedings{El-FakihPYB03,
title = {Fault Diagnosis in Extended Finite State Machines},
author = {Khaled El-Fakih and Svetlana Prokopenko and Nina Yevtushenko and Gregor von Bochmann},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2644&spage=197},
tags = {state machines},
researchr = {https://researchr.org/publication/El-FakihPYB03},
cites = {0},
citedby = {0},
pages = {197-210},
booktitle = {Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings},
editor = {Dieter Hogrefe and Anthony Wiles},
volume = {2644},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40123-7},
}