Saila
Sistemas Informáticos y Computación
Liburuak (1) Ikertzaileren baten partaidetza izan duten argitalpenak
2001
-
Semánticas de pruebas para álgebras de procesos probabilísticos
Madrid : Universidad Complutense de Madrid, Vicerrectorado de Extensión Universitaria, [2001]