@inproceedings{7e038b1b905e43509862df3d4e244b84,
title = "Testing Labelled Transition Systems with Inputs and Outputs",
keywords = "FMT-TESTING, EWI-6499",
author = "G.J. Tretmans",
year = "1995",
language = "Undefined",
isbn = "not assigned",
pages = "461--476",
editor = "A. Cavalli and S. Budkowski",
booktitle = "Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session",
publisher = "Institut National des T{\'e}l{\'e}communications",
note = "Participants Int. Workshop on Protocol Test Systems VIII --- COST 247 Session ; Conference date: 04-09-1995 Through 06-09-1995",
}