Developments in testing transition systems

Hendrik Brinksma, A.W. Heerink, G.J. Tretmans

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceedings 10th IFIP International
    Place of PublicationCheju Island, Korea
    Number of pages24
    Publication statusPublished - 30 Sep 1997


    • METIS-120060

    Cite this

    Brinksma, H., Heerink, A. W., & Tretmans, G. J. (1997). Developments in testing transition systems. In Proceedings 10th IFIP International (pp. -). Cheju Island, Korea.