Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Nanda Kambhatla
ACL 2004
S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005