Approximated parameterized verification of infinite-state processes with global conditions
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed RezineVolume:
34
Language:
english
Pages:
31
DOI:
10.1007/s10703-008-0062-9
Date:
April, 2009
File:
PDF, 638 KB
english, 2009