![](/img/cover-not-exists.png)
Partial-order Reduction Techniques for Real-time Model Checking
Dennis Dams, Rob Gerth, Bart Knaack, Ruurd KuiperVolume:
10
Language:
english
Pages:
14
DOI:
10.1007/s001650050028
Date:
May, 1998
File:
PDF, 120 KB
english, 1998