A synthesis of two approaches for verifying finite state concurrent systems

• Authors:

• E. M. Clarke;O. Grumberg;R. P. Kurshan

• Affiliations:

• -;-;-

• Venue:
• Logic at Botik'89 Symposium on logical foundations of computer science
• Year:
• 1989