Gal Badishi, Idit Keidar, et al.
IEEE TDSC
Paper
Limits for automatic verification of finite-state concurrent systems
Related
Rolf Clauberg
IBM J. Res. Dev
Oliver Bodemer
IBM J. Res. Dev
Conference paper
Social networks and discovery in the enterprise (SaND)
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009