Ensuring completeness of symbolic verification methods for infinite-state systems
Parosh Aziz Abdulla, Bengt JonssonVolume:
256
Year:
2001
Language:
english
Pages:
23
DOI:
10.1016/s0304-3975(00)00105-5
File:
PDF, 178 KB
english, 2001