Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
Daniel M. Bikel, Vittorio Castelli
ACL 2008
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM