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]
Abstract is missing.