Developments in Testing Transition Systems

Hendrik Brinksma, M. Kim (Editor), S. Kang (Editor), A.W. Heerink, K. Hong (Editor), G.J. Tretmans

    Research output: Contribution to conferencePaper

    35 Downloads (Pure)
    Original languageUndefined
    Pages143-166
    Number of pages24
    Publication statusPublished - 1997

    Keywords

    • FMT-TESTING
    • IR-63295
    • EWI-6474

    Cite this