Limits for automatic verification of finite-state concurrent systems

Publisher Website

1 May 1986

journal article
Published by Elsevier in Information Processing Letters

Vol. 22 (6), 307-309
https://doi.org/10.1016/0020-0190(86)90071-2

Abstract

No abstract available

Cited by 269 articles