Zoekresultaten
Resultaat 1 - 2 (van 2)
Helle Hvid Hansen | D.F. de Oliveira Costa | J.J.M.M. Rutten Synthesis of mealy machines using derivatives
Non-fictie
Engels | 24 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2006
Gedrukt boek
Helle Hvid Hansen | Clemens Kupke | Eric Pacuit Bisimulation for neighbourhood structures
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek