Verification is Experimentation!

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

    1 Citation (Scopus)
    Original languageUndefined
    Title of host publicationCONCUR 2000 - Concurrency Theory
    Place of PublicationUniversity Park, PA, USA
    Pages17-24
    Number of pages8
    Publication statusPublished - 21 Feb 2000

    Keywords

    • METIS-119653

    Cite this

    Brinksma, H. (2000). Verification is Experimentation! In CONCUR 2000 - Concurrency Theory (pp. 17-24). University Park, PA, USA.
    Brinksma, Hendrik. / Verification is Experimentation!. CONCUR 2000 - Concurrency Theory. University Park, PA, USA, 2000. pp. 17-24
    @inproceedings{8ccc477f52614c4283becc6951206fbe,
    title = "Verification is Experimentation!",
    keywords = "METIS-119653",
    author = "Hendrik Brinksma",
    year = "2000",
    month = "2",
    day = "21",
    language = "Undefined",
    isbn = "3-540-57897-2",
    pages = "17--24",
    booktitle = "CONCUR 2000 - Concurrency Theory",

    }

    Brinksma, H 2000, Verification is Experimentation! in CONCUR 2000 - Concurrency Theory. University Park, PA, USA, pp. 17-24.

    Verification is Experimentation! / Brinksma, Hendrik.

    CONCUR 2000 - Concurrency Theory. University Park, PA, USA, 2000. p. 17-24.

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

    TY - GEN

    T1 - Verification is Experimentation!

    AU - Brinksma, Hendrik

    PY - 2000/2/21

    Y1 - 2000/2/21

    KW - METIS-119653

    M3 - Conference contribution

    SN - 3-540-57897-2

    SP - 17

    EP - 24

    BT - CONCUR 2000 - Concurrency Theory

    CY - University Park, PA, USA

    ER -

    Brinksma H. Verification is Experimentation! In CONCUR 2000 - Concurrency Theory. University Park, PA, USA. 2000. p. 17-24