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 conference › Paper › peer-review

126 Downloads (Pure)

Original language	Undefined
Pages	143-166
Number of pages	24
Publication status	Published - 1997
Event	Int. Workshop on Testing of Communicating Systems X - Duration: 1 Jan 1997 → 1 Jan 1997

Workshop	Int. Workshop on Testing of Communicating Systems X
Period	1/01/97 → 1/01/97

Keywords

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

note = "Int. Workshop on Testing of Communicating Systems X ; Conference date: 01-01-1997 Through 01-01-1997",

}