Developments in Testing Transition Systems

Hendrik Brinksma, M. Kim (Editor), S. Kang (Editor), A.W. Heerink, K. Hong (Editor), G.J. Tretmans

Research output: Contribution to conferencePaperAcademicpeer-review

23 Downloads (Pure)
Original languageUndefined
Pages143-166
Number of pages24
Publication statusPublished - 1997

Keywords

  • FMT-TESTING
  • IR-63295
  • EWI-6474

Cite this

Brinksma, H., Kim, M. (Ed.), Kang, S. (Ed.), Heerink, A. W., Hong, K. (Ed.), & Tretmans, G. J. (1997). Developments in Testing Transition Systems. 143-166.
Brinksma, Hendrik ; Kim, M. (Editor) ; Kang, S. (Editor) ; Heerink, A.W. ; Hong, K. (Editor) ; Tretmans, G.J. / Developments in Testing Transition Systems. 24 p.
@conference{21ce14efd78045ecb41ad99837aaaf6f,
title = "Developments in Testing Transition Systems",
keywords = "FMT-TESTING, IR-63295, EWI-6474",
author = "Hendrik Brinksma and M. Kim and S. Kang and A.W. Heerink and K. Hong and G.J. Tretmans",
year = "1997",
language = "Undefined",
pages = "143--166",

}

Brinksma, H, Kim, M (ed.), Kang, S (ed.), Heerink, AW, Hong, K (ed.) & Tretmans, GJ 1997, 'Developments in Testing Transition Systems' pp. 143-166.

Developments in Testing Transition Systems. / Brinksma, Hendrik; Kim, M. (Editor); Kang, S. (Editor); Heerink, A.W.; Hong, K. (Editor); Tretmans, G.J.

1997. 143-166.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Developments in Testing Transition Systems

AU - Brinksma, Hendrik

AU - Heerink, A.W.

AU - Tretmans, G.J.

A2 - Kim, M.

A2 - Kang, S.

A2 - Hong, K.

PY - 1997

Y1 - 1997

KW - FMT-TESTING

KW - IR-63295

KW - EWI-6474

M3 - Paper

SP - 143

EP - 166

ER -

Brinksma H, Kim M, (ed.), Kang S, (ed.), Heerink AW, Hong K, (ed.), Tretmans GJ. Developments in Testing Transition Systems. 1997.