Llana Díaz, Luis FernandoFrutos Escrig, David DeNúñez García, ManuelIonescu, DanCornell, Aurel2023-06-202023-06-202007Llana 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.981-02-4424-x10.1142/9789812708472_0010https://hdl.handle.net/20.500.14352/53220Testing Semantics for Urgent Timed Process Algebrasbook parthttps//doi.org/10.1142/9789812708472_0010http://www.worldscientific.com/doi/pdf/10.1142/9789812708472_0010metadata only access004Informática (Informática)1203.17 Informática