Developments in testing transition systems

E. Brinksma; L. Heerink; J. Tretmans

Developments in testing transition systems

E. Brinksma, L. Heerink, J. Tretmans

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Testing of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997)
Redacteuren	M. Kim, S. Kang, K. Hong
Uitgeverij	Chapman & Hall
Pagina's	143-166
ISBN van geprinte versie	0-412-81730-6
Status	Gepubliceerd - 1997

Citeer dit

@inproceedings{c94793e0e39544549388ae5395957cdf,

title = "Developments in testing transition systems",

author = "E. Brinksma and L. Heerink and J. Tretmans",

year = "1997",

language = "English",

isbn = "0-412-81730-6",

pages = "143--166",

editor = "M. Kim and S. Kang and K. Hong",

booktitle = "Testing of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997)",

publisher = "Chapman & Hall",

address = "United Kingdom",

}

Developments in testing transition systems. / Brinksma, E.; Heerink, L.; Tretmans, J.
Testing of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997). uitgave / M. Kim; S. Kang; K. Hong. Chapman & Hall, 1997. blz. 143-166.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Developments in testing transition systems

AU - Brinksma, E.

AU - Heerink, L.

AU - Tretmans, J.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SN - 0-412-81730-6

SP - 143

EP - 166

BT - Testing of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997)

A2 - Kim, M.

A2 - Kang, S.

A2 - Hong, K.

PB - Chapman & Hall

ER -