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

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

    Keywords

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

    Cite this

    Brinksma, H., Kim, M. (Ed.), Kang, S. (Ed.), Heerink, A. W., Hong, K. (Ed.), & Tretmans, G. J. (1997). Developments in Testing Transition Systems. 143-166.