Zohar Feldman, Avishai Mandelbaum
WSC 2010
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
John M. Boyer, Charles F. Wiecha
DocEng 2009