Centro/Instituto
Instituto de Tecnología del Conocimiento (ITC)
Libros (1) Publicacións nas que participase algún/ha investigador/a
1996
-
Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]
Universidad Complutense de Madrid