Zoekresultaten
Resultaat 1 - 1 (van 1)
D. Bošnački Enhancing state space reduction techniques for model checking
Non-fictie
Engels | 174 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2001
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Engels | 174 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2001
Gedrukt boek