Zoekresultaten
Resultaat 1 - 2 (van 2)
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
Twan Basten | D. Bošnački Enhancing partial-order reduction via process clustering
Non-fictie
Engels | 14 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek