Capítols de llibre (1) Publicacions en què ha participat algun/a investigador/a

2007

  1. Testing semantics for urgent timed process algebras

    Real-time Systems: Modeling, Design And Applications (World Scientific Publishing Co.), pp. 221-235