Publications

2 results for Krzysztof R. Apt

Preserving liveness: Comments on "safety and liveness from a methodological point of view"
- - Martín Abadi
  - Bowen Alpern
  - et al.
- 1991
- Information Processing Letters
Limits for automatic verification of finite-state concurrent systems
- - Krzysztof R. Apt
  - Dexter C. Kozen
- 1986
- Information Processing Letters