1986
Limits for automatic verification of finite state concurrent systems
Publication
Publication
Information Processing Letters , Volume 22 p. 307- 309
Additional Metadata | |
---|---|
north-holland | |
Information Processing Letters | |
Apt, K., & Kozen, D. (1986). Limits for automatic verification of finite state concurrent systems. Information Processing Letters, 22, 307–309. |