Protocol conformance testing: a formal perspective on SO IS-9646

G.J. Tretmans, W.T.M. Kars

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages44
    JournalMemoranda informatica
    Volume1
    Issue number32
    Publication statusPublished - 1991

    Keywords

    • METIS-121768

    Cite this

    Tretmans, G.J. ; Kars, W.T.M. / Protocol conformance testing: a formal perspective on SO IS-9646. In: Memoranda informatica. 1991 ; Vol. 1, No. 32. pp. -.
    @article{f9447577bedf4211b06b5a015a69fb1b,
    title = "Protocol conformance testing: a formal perspective on SO IS-9646",
    keywords = "METIS-121768",
    author = "G.J. Tretmans and W.T.M. Kars",
    year = "1991",
    language = "Undefined",
    volume = "1",
    pages = "--",
    journal = "Memoranda informatica",
    issn = "0924-3755",
    publisher = "University of Twente",
    number = "32",

    }

    Tretmans, GJ & Kars, WTM 1991, 'Protocol conformance testing: a formal perspective on SO IS-9646' Memoranda informatica, vol. 1, no. 32, pp. -.

    Protocol conformance testing: a formal perspective on SO IS-9646. / Tretmans, G.J.; Kars, W.T.M.

    In: Memoranda informatica, Vol. 1, No. 32, 1991, p. -.

    Research output: Contribution to journalArticleProfessional

    TY - JOUR

    T1 - Protocol conformance testing: a formal perspective on SO IS-9646

    AU - Tretmans, G.J.

    AU - Kars, W.T.M.

    PY - 1991

    Y1 - 1991

    KW - METIS-121768

    M3 - Article

    VL - 1

    SP - -

    JO - Memoranda informatica

    JF - Memoranda informatica

    SN - 0924-3755

    IS - 32

    ER -