Zoekresultaten
Resultaat 1 - 1 (van 1)
A. Fehnker Citius, Vilius, Melius
guiding and cost-optimality in model checking of timed and hybrid systems
Non-fictie
Engels | 153 pagina's | 2002
Gedrukt boek
Resultaat 1 - 1 (van 1)
guiding and cost-optimality in model checking of timed and hybrid systems
Non-fictie
Engels | 153 pagina's | 2002
Gedrukt boek