Limits for automatic verification of finite-state concurrent systems

Raymond F. Boyce, Donald D. Chamberlin, et al.

CACM

M.F. Cowlishaw

IBM Systems Journal

Khaled A.S. Abdel-Ghaffar

IEEE Trans. Inf. Theory

Charles H. Bennett, Aram W. Harrow, et al.

IEEE Trans. Inf. Theory