[IEEE 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers - San Jose, CA, USA (7-11 Nov. 1999)] 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) - Least fixpoint approximations for reachability analysis
In-Ho Moon,, Kakula, J., Shiple, T., Somenzi, F.Year:
1999
Language:
english
DOI:
10.1109/iccad.1999.810618
File:
PDF, 440 KB
english, 1999