![](/img/cover-not-exists.png)
Model Checking Complete Requirements Specifications Using Abstraction
Ramesh Bharadwaj, Constance L. HeitmeyerVolume:
6
Language:
english
Pages:
32
DOI:
10.1023/a:1008697817793
Date:
January, 1999
File:
PDF, 173 KB
english, 1999