Repetitive Quiescence in Implementation and Testing (extended abstract)

G.J. Tretmans

Repetitive Quiescence in Implementation and Testing (extended abstract)

G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	A.Wolisz, I.Schieferdecker, A.Rennoch (eds.), Formale Beschreibungstechniken fuer verteilte Systeme, GI/ITG-Fachgespraech, GMD-Studien, nr. 315
Place of Publication	St. Augustin
Pages	23-37
Publication status	Published - 9 Jan 1997

Keywords

METIS-120068

Cite this

@inproceedings{1fff59da2ff24d40b573b417bc3e2c73,

title = "Repetitive Quiescence in Implementation and Testing (extended abstract)",

keywords = "METIS-120068",

author = "G.J. Tretmans",

year = "1997",

month = jan,

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",

}

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 proceeding › Conference contribution › Academic › peer-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 -