A formal approach to testing distibuted systems (abstract)

Hendrik Brinksma

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publication2nd Nordic workshop on Program Correctness
    Place of PublicationAalborg, Denemarken
    Pages-
    Number of pages1
    Publication statusPublished - 3 Oct 1990

    Keywords

    • METIS-119458

    Cite this