Zoekresultaten
Resultaat 1 - 1 (van 1)
Computing Science Institute Linear parametric model checking of timed automata
Non-fictie
Engels | 32 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek