Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving

J. Calamé

Research output: PhD Thesis › PhD-Thesis – Research and graduation external

Original language	English
Qualification	PhD
Awarding Institution	Universiteit Twente
Supervisors/Advisors	van de Pol, J.C., Supervisor, - Fokkink, Wan, Supervisor
Place of Publication	Universiteit Twente
Publication status	Published - 2008
Externally published	Yes

Naam instelling promotie: Universiteit Twente
Naam instelling onderzoek: Universiteit Twente

Persistent URL (handle)

@phdthesis{0bf5206061f74f56938710b4064f4158,

title = "Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving",

author = "J. Calam{\'e}",

note = "Naam instelling promotie: Universiteit Twente Naam instelling onderzoek: Universiteit Twente",

year = "2008",

language = "English",

type = "PhD-Thesis – Research and graduation external",

school = "Universiteit Twente",

}