The saturation algorithm for symbolic state-space exploration
Gianfranco Ciardo, Robert Marmorstein, Radu SiminiceanuVolume:
8
Language:
english
Pages:
22
DOI:
10.1007/s10009-005-0188-7
Date:
February, 2006
File:
PDF, 2.24 MB
english, 2006