Conference paper
Social networks and discovery in the enterprise (SaND)
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
David S. Kung
DAC 1998
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science