Factorized Test Generation for Multi Input/Output Transition Systems

G.J. Tretmans

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

Original language	Undefined
Title of host publication	International Workshop on Testing Communicating Systems 11
Place of Publication	Tomsk, Russia
Pages	67-82
Number of pages	16
Publication status	Published - 11 Feb 1998

Keywords

@inproceedings{6b29b51113fa4a6982335e6bf624e3b1,

title = "Factorized Test Generation for Multi Input/Output Transition Systems",

keywords = "METIS-119576",

author = "G.J. Tretmans",

year = "1998",

month = feb,

day = "11",

language = "Undefined",

isbn = "0-412-84430-3",

pages = "67--82",

booktitle = "International Workshop on Testing Communicating Systems 11",

}