S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems
Conference paper
Discourse segmentation in aid of document summarization
B.K. Boguraev, Mary S. Neff
HICSS 2000