TY  - CHAP
AU  - Llana Díaz, Luis Fernando
AU  - Frutos Escrig, David De
AU  - Núñez García, Manuel
A4  - Ionescu, Dan
A4  - Cornell, Aurel
PY  - 2007
DO  - 10.1142/9789812708472_0010
SN  - 981-02-4424-x
UR  - https://hdl.handle.net/20.500.14352/53220
M2  - 221
PB  - World Scientific
TI  - Testing Semantics for Urgent Timed Process Algebras
TY  - book part
ER  -