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
    Pages-
    Number of pages24
    Publication statusPublished - 30 Sep 1997

    Keywords

    • 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.
    Brinksma, Hendrik ; Heerink, A.W. ; Tretmans, G.J. / Developments in testing transition systems. Proceedings 10th IFIP International. Cheju Island, Korea, 1997. pp. -
    @inproceedings{5285891536594eea8fae01dd5e8e9b77,
    title = "Developments in testing transition systems",
    keywords = "METIS-120060",
    author = "Hendrik Brinksma and A.W. Heerink and G.J. Tretmans",
    year = "1997",
    month = "9",
    day = "30",
    language = "Undefined",
    isbn = "0 412 817306",
    pages = "--",
    booktitle = "Proceedings 10th IFIP International",

    }

    Brinksma, H, Heerink, AW & Tretmans, GJ 1997, Developments in testing transition systems. in Proceedings 10th IFIP International. Cheju Island, Korea, pp. -.

    Developments in testing transition systems. / Brinksma, Hendrik; Heerink, A.W.; Tretmans, G.J.

    Proceedings 10th IFIP International. Cheju Island, Korea, 1997. p. -.

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

    TY - GEN

    T1 - Developments in testing transition systems

    AU - Brinksma, Hendrik

    AU - Heerink, A.W.

    AU - Tretmans, G.J.

    PY - 1997/9/30

    Y1 - 1997/9/30

    KW - METIS-120060

    M3 - Conference contribution

    SN - 0 412 817306

    SP - -

    BT - Proceedings 10th IFIP International

    CY - Cheju Island, Korea

    ER -

    Brinksma H, Heerink AW, Tretmans GJ. Developments in testing transition systems. In Proceedings 10th IFIP International. Cheju Island, Korea. 1997. p. -