Descripción e implementación de TPPAL: un álgebra de procesos temporizados y probabilísticos

Aquesta tesi apareix a les col·leccions següents