S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004
Conference paper
Soft x-ray diffraction of striated muscle
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989