Ed Brinksma, Lex Heerink, Jan Tretmans
Factorized Test Generation for Multi-Input/Output Transition Systems
ICTSS, 1998.
@inproceedings{IWTCS-1998-BrinksmaHT,
author = "Ed Brinksma and Lex Heerink and Jan Tretmans",
booktitle = "{Proceedings of the 11th International Workshop on Testing Communicating Systems}",
isbn = "0-412-84430-3",
pages = "67--82",
publisher = "{Kluwer}",
series = "{IFIP Conference Proceedings}",
title = "{Factorized Test Generation for Multi-Input/Output Transition Systems}",
volume = 131,
year = 1998,
}











