Oliver Bodemer
IBM J. Res. Dev
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Daniel M. Bikel, Vittorio Castelli
ACL 2008
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021