Ikastegia/Institutua
Instituto de Tecnología del Conocimiento (ITC)
Liburu kapituluak (1) Ikertzaileren baten partaidetza izan duten argitalpenak
2007
-
Testing semantics for urgent timed process algebras
Real-time Systems: Modeling, Design And Applications (World Scientific Publishing Co.), pp. 221-235