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.
    Tretmans, G.J. / Repetitive Quiescence in Implementation and Testing (extended abstract). A.Wolisz, I.Schieferdecker, A.Rennoch (eds.), Formale Beschreibungstechniken fuer verteilte Systeme, GI/ITG-Fachgespraech, GMD-Studien, nr. 315. St. Augustin, 1997. pp. 23-37
    @inproceedings{1fff59da2ff24d40b573b417bc3e2c73,
    title = "Repetitive Quiescence in Implementation and Testing (extended abstract)",
    keywords = "METIS-120068",
    author = "G.J. Tretmans",
    year = "1997",
    month = "1",
    day = "9",
    language = "Undefined",
    isbn = "3-88457-315-2",
    pages = "23--37",
    booktitle = "A.Wolisz, I.Schieferdecker, A.Rennoch (eds.), Formale Beschreibungstechniken fuer verteilte Systeme, GI/ITG-Fachgespraech, GMD-Studien, nr. 315",

    }

    Tretmans, GJ 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. St. Augustin, pp. 23-37.

    Repetitive Quiescence in Implementation and Testing (extended abstract). / Tretmans, G.J.

    A.Wolisz, I.Schieferdecker, A.Rennoch (eds.), Formale Beschreibungstechniken fuer verteilte Systeme, GI/ITG-Fachgespraech, GMD-Studien, nr. 315. St. Augustin, 1997. p. 23-37.

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

    TY - GEN

    T1 - Repetitive Quiescence in Implementation and Testing (extended abstract)

    AU - Tretmans, G.J.

    PY - 1997/1/9

    Y1 - 1997/1/9

    KW - METIS-120068

    M3 - Conference contribution

    SN - 3-88457-315-2

    SP - 23

    EP - 37

    BT - A.Wolisz, I.Schieferdecker, A.Rennoch (eds.), Formale Beschreibungstechniken fuer verteilte Systeme, GI/ITG-Fachgespraech, GMD-Studien, nr. 315

    CY - St. Augustin

    ER -

    Tretmans GJ. 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. St. Augustin. 1997. p. 23-37