Procedure-Level Verification of Real-time Concurrent Systems.

Farn Wang, Chia-Tien Dan Lo

Browse the full FM paper archive.