%0 Conference Paper %1 conf/iscc/Belhassine-CherifG00 %A Belhassine-Cherif, Rim %A Ghedamsi, Abderrazak %B ISCC %D 2000 %I IEEE Computer Society %K dblp %P 424-429 %T Diagnostic Tests for Communicating Nondeterministic Finite State Machines. %U http://dblp.uni-trier.de/db/conf/iscc/iscc2000.html#Belhassine-CherifG00 %@ 0-7695-0722-0

@inproceedings{conf/iscc/Belhassine-CherifG00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Belhassine-Cherif, Rim and Ghedamsi, Abderrazak}, biburl = {https://www.bibsonomy.org/bibtex/2fae0f6049ff29e78dcb65e76bea03295/dblp}, booktitle = {ISCC}, crossref = {conf/iscc/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISCC.2000.860675}, interhash = {6f1d9af9b83109b67487f25032d299d6}, intrahash = {fae0f6049ff29e78dcb65e76bea03295}, isbn = {0-7695-0722-0}, keywords = {dblp}, pages = {424-429}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:22:28.000+0200}, title = {Diagnostic Tests for Communicating Nondeterministic Finite State Machines.}, url = {http://dblp.uni-trier.de/db/conf/iscc/iscc2000.html#Belhassine-CherifG00}, year = 2000 }