Zoekresultaten
Resultaat 1 - 1 (van 1)
Centre for Telematics and Information Technology Model-checking algorithms for continuous-time Markov chains
Non-fictie
Engels | 39 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek