Testing Transition Systems: An Annotated Bibliography

Hendrik Brinksma, G.J. Tretmans

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

    Original languageUndefined
    Title of host publicationMOVEP'2k MOdelling and VErification of Parallel processes
    Place of PublicationNantes, France
    Pages44-50
    Number of pages7
    Publication statusPublished - 21 Feb 2000

    Keywords

    • METIS-119633

    Cite this

    Brinksma, H., & Tretmans, G. J. (2000). Testing Transition Systems: An Annotated Bibliography. In MOVEP'2k MOdelling and VErification of Parallel processes (pp. 44-50). Nantes, France.
    Brinksma, Hendrik ; Tretmans, G.J. / Testing Transition Systems: An Annotated Bibliography. MOVEP'2k MOdelling and VErification of Parallel processes. Nantes, France, 2000. pp. 44-50
    @inproceedings{a8c8a38049f44769be842ef284363c6b,
    title = "Testing Transition Systems: An Annotated Bibliography",
    keywords = "METIS-119633",
    author = "Hendrik Brinksma and G.J. Tretmans",
    year = "2000",
    month = "2",
    day = "21",
    language = "Undefined",
    pages = "44--50",
    booktitle = "MOVEP'2k MOdelling and VErification of Parallel processes",

    }

    Brinksma, H & Tretmans, GJ 2000, Testing Transition Systems: An Annotated Bibliography. in MOVEP'2k MOdelling and VErification of Parallel processes. Nantes, France, pp. 44-50.

    Testing Transition Systems: An Annotated Bibliography. / Brinksma, Hendrik; Tretmans, G.J.

    MOVEP'2k MOdelling and VErification of Parallel processes. Nantes, France, 2000. p. 44-50.

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

    TY - GEN

    T1 - Testing Transition Systems: An Annotated Bibliography

    AU - Brinksma, Hendrik

    AU - Tretmans, G.J.

    PY - 2000/2/21

    Y1 - 2000/2/21

    KW - METIS-119633

    M3 - Conference contribution

    SP - 44

    EP - 50

    BT - MOVEP'2k MOdelling and VErification of Parallel processes

    CY - Nantes, France

    ER -

    Brinksma H, Tretmans GJ. Testing Transition Systems: An Annotated Bibliography. In MOVEP'2k MOdelling and VErification of Parallel processes. Nantes, France. 2000. p. 44-50