Repetitive Quiescence in Implementation and Testing (extended abstract)

G.J. Tretmans

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

    Original languageUndefined
    Title of host publicationA.Wolisz, I.Schieferdecker, A.Rennoch (eds.), Formale Beschreibungstechniken fuer verteilte Systeme, GI/ITG-Fachgespraech, GMD-Studien, nr. 315
    Place of PublicationSt. Augustin
    Pages23-37
    Publication statusPublished - 9 Jan 1997

    Keywords

    • METIS-120068

    Cite this

    Tretmans, G. J. (1997). Repetitive Quiescence in Implementation and Testing (extended abstract). In A.Wolisz, I.Schieferdecker, A.Rennoch (eds.), Formale Beschreibungstechniken fuer verteilte Systeme, GI/ITG-Fachgespraech, GMD-Studien, nr. 315 (pp. 23-37). St. Augustin.