Zoekresultaten
Resultaat 1 - 1 (van 1)
A. Remke | Boudewijn R. Haverkort | L. Cloth Model checking infinite-state Markov chains
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek