Developments in testing transition systems

E. Brinksma; L. Heerink; J. Tretmans

Developments in testing transition systems

E. Brinksma, L. Heerink, J. Tretmans

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

Original language	English
Title of host publication	Testing of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997)
Editors	M. Kim, S. Kang, K. Hong
Publisher	Chapman & Hall
Pages	143-166
ISBN (Print)	0-412-81730-6
Publication status	Published - 1997

Cite this

@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). ed. / M. Kim; S. Kang; K. Hong. Chapman & Hall, 1997. p. 143-166.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 -