Rim Belhassine-Cherif, Abderrazak Ghedamsi. Diagnostic Tests for Communicating Nondeterministic Finite State Machines. In Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France. pages 424-429, IEEE Computer Society, 2000. [doi]
@inproceedings{Belhassine-CherifG00, title = {Diagnostic Tests for Communicating Nondeterministic Finite State Machines}, author = {Rim Belhassine-Cherif and Abderrazak Ghedamsi}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/iscc/2000/0722/00/07220424abs.htm}, tags = {testing, diagnostics, state machines}, researchr = {https://researchr.org/publication/Belhassine-CherifG00}, cites = {0}, citedby = {0}, pages = {424-429}, booktitle = {Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France}, publisher = {IEEE Computer Society}, isbn = {0-7695-0722-0}, }