Zoekresultaten
Resultaat 1 - 2 (van 2)
N. Ioustinova | N. Sidorova | M. Steffen Abstraction and flow analysis for model checking open asynchronous systems
Non-fictie
Engels | 14 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
N. Ioustinova | N. Sidorova | M. Steffen Closing open SDL-systems for model checking with DTSpin
Non-fictie
Engels | 15 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek