Departamento
Sistemas Informáticos y Computación
Capítulos de Libro (1) Publicaciones en las que ha participado algún/a investigador/a
2007
-
Testing semantics for urgent timed process algebras
Real-time Systems: Modeling, Design And Applications (World Scientific Publishing Co.), pp. 221-235