Analysis and Verification of Real-Time Systems.

Albert Mo Kim Cheng Analysis and Verification of Real-Time Systems. ILT 10 1999 ICEIS db/conf/iceis/iceis1999.html#Cheng99