RT Book, Section
T1 Testing Semantics for Urgent Timed Process Algebras
A1 Llana Díaz, Luis Fernando
A1 Frutos Escrig, David De
A1 Núñez García, Manuel
A2 Ionescu, Dan
A2 Cornell, Aurel
PB World Scientific
SN 981-02-4424-x
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53220
UL https://hdl.handle.net/20.500.14352/53220
NO Llana Díaz, L. F., Frutos Escrig, D. & Núñez García, M. «Testing Semantics for Urgent Timed Process Algebras». AMAST Series in Computing, de Dan Ionescu y Aurel Cornell, vol. 8, WORLD SCIENTIFIC, 2007, pp. 221-35. DOI.org (Crossref), https://doi.org/10.1142/9789812708472_0010.
NO Comisión Interministerial de Ciencia y Tecnología (España)
DS Docta Complutense
RD 7 abr 2025