Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Conference paper
Discourse segmentation in aid of document summarization
B.K. Boguraev, Mary S. Neff
HICSS 2000
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004