Universidad Complutense de Madrid
E-Prints Complutense

Testing Semantics for Urgent Timed Process Algebras

Impacto

Downloads

Downloads per month over past year



Llana Díaz, Luis Fernando and Frutos Escrig, David de and Núñez García, Manuel (2007) Testing Semantics for Urgent Timed Process Algebras. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 221-235. ISBN 981-02-4424-x

Official URL: http://www.worldscientific.com/doi/pdf/10.1142/9789812708472_0010






Item Type:Book Section
Subjects:Sciences > Computer science
ID Code:20742
Deposited On:10 Apr 2013 09:11
Last Modified:10 Apr 2013 09:11

Origin of downloads

Repository Staff Only: item control page