Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas

Aquesta tesi apareix a les col·leccions següents