![](/img/cover-not-exists.png)
Counter-example generation in symbolic abstract model-checking
Gordon Pace, Nicolas Halbwachs, Pascal RaymondVolume:
5
Language:
english
Pages:
7
DOI:
10.1007/s10009-003-0127-4
Date:
March, 2004
File:
PDF, 199 KB
english, 2004