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.