Publication
Information Processing Letters
Paper

Limits for automatic verification of finite-state concurrent systems

View publication

Abstract

No abstract available.

Date

30 May 1986

Publication

Information Processing Letters

Authors

Topics

Share