Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali. A Formal Assessment of Synchronous Testability for Communicating Systems. In ICDCS. pages 149-156, 1993.
@inproceedings{DriraASC93, title = {A Formal Assessment of Synchronous Testability for Communicating Systems}, author = {Khalil Drira and Pierre Azéma and B. Soulas and A. M. Chemali}, year = {1993}, tags = {testing}, researchr = {https://researchr.org/publication/DriraASC93}, cites = {0}, citedby = {0}, pages = {149-156}, booktitle = {ICDCS}, }