On the Coverage of Partial Validations

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageEnglish
    Title of host publicationActes du Colloque Francophone sur l'Ingenerie des Protocoles
    PublisherEditions Hermes
    Pages359-364
    Publication statusPublished - 1993

    Cite this

    Brinksma, E. (1993). On the Coverage of Partial Validations. In Actes du Colloque Francophone sur l'Ingenerie des Protocoles (pp. 359-364). Editions Hermes.