Compositional verification of real-time systems with Explicit Clock Temporal Logic
Ping Zhou, Jozef Hooman, Ruurd KuiperVolume:
8
Year:
1996
Language:
english
Pages:
30
DOI:
10.1007/bf01214917
File:
PDF, 1.78 MB
english, 1996