Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Conference paper
QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)