B. Wagle
EJOR
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Fan Zhang, Junwei Cao, et al.
IEEE TETC
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
Thomas R. Puzak, A. Hartstein, et al.
CF 2007