Testing semantics for urgent timed process algebras
- Llana-Díaz, L.F.
- De Frutos-Escrig, D.
- Núñez, M.
Liburua:
Real-time Systems: Modeling, Design And Applications
ISBN: 9789812708472
Argitalpen urtea: 2007
Orrialdeak: 221-235
Mota: Liburuko kapitulua