CURRENTLY SOLD OUT

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems by IOS Press (Paperback, 2004)