Testing Theory in Practice: a Simple Experiment

R. Terpstra, Luis Ferreira Pires, A.W. Heerink, G.J. Tretmans

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

    Original languageUndefined
    Title of host publicationProceedings of COST 247 International Workshop on Applied Formal Methods in System Design
    Place of PublicationUniversity of Maribor, Slovenia
    PublisherUniversiteit Twente
    Pages168-183
    Number of pages16
    ISBN (Print)86-435-0155-7
    Publication statusPublished - 29 Aug 1996

    Keywords

    • METIS-120076

    Cite this