Oliver Bodemer
IBM J. Res. Dev
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
György E. Révész
Theoretical Computer Science
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University