![](/img/cover-not-exists.png)
Concurrent Symbolic Verification of Liveness Properties for Interleaved Models
Felice BalarinVolume:
23
Year:
2001
Language:
english
Pages:
10
DOI:
10.1016/s1571-0661(04)80664-9
File:
PDF, 566 KB
english, 2001