Limits for automatic verification of finite-state concurrent systems

Ruixiong Tian, Zhe Xiang, et al.

Qinghua Daxue Xuebao/Journal of Tsinghua University

Ehud Altman, Kenneth R. Brown, et al.

PRX Quantum

Oliver Bodemer

IBM J. Res. Dev

Fan Jing Meng, Ying Huang, et al.

ICEBE 2007