Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2008
Calamé, J.R.
(2008)
Testing reactive systems with data: enumerative methods and constraint solving.
PhD thesis, University of Twente.
IPA dissertation series 2008-20
ISBN 978-90-6464-273-9
This list was generated on Thu May 24 08:55:47 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||