Testing Semantics for Urgent Timed Process Algebras



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