Zoekresultaten
Resultaat 1 - 1 (van 1)
Centre for Telematics and Information Technology Branching bisimulation for probabilistic systems: characteristics and decidability
Non-fictie
Engels | 32 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek