Zentrum/Institut
Instituto de Tecnología del Conocimiento (ITC)
Bücher (1) Publikationen, an denen Forscher/innen teilgenommen haben
1996
-
Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]
Universidad Complutense de Madrid