Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Elliot Linzer, M. Vetterli
Computing