Developments in testing transition systems

E. Brinksma, L. Heerink, J. Tretmans

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

    Original languageEnglish
    Title of host publicationTesting of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997)
    EditorsM. Kim, S. Kang, K. Hong
    PublisherChapman & Hall
    ISBN (Print)0-412-81730-6
    Publication statusPublished - 1997

    Cite this