![](/img/cover-not-exists.png)
Procedure-Level Verification of Real-time Concurrent Systems
Farn Wang, Chia-Tien LoVolume:
16
Year:
1999
Language:
english
Pages:
34
DOI:
10.1023/a:1008008003332
File:
PDF, 279 KB
english, 1999