Testing labelled transitions systems with inputs and outputs

Jan Tretmans

Research output: Book/Report › Report › Academic

Name	Memorandum TIOS
Publisher	University of Twente, Tele-Informatics and Open Systems Group
No.	95-10

Keywords

@book{62ca1c05743047debe4aa3ae7c1ab349,

title = "Testing labelled transitions systems with inputs and outputs",

keywords = "Information technology",

author = "Jan Tretmans",

year = "1995",

language = "English",

series = "Memoranda Informatica",

publisher = "University of Twente",

number = "95-26",

address = "Netherlands",

edition = "26",

}