The Model Checking Problem for Concurrent Systems with Many Similar Processes

• Authors:

• Edmund M. Clarke;Orna Grumberg

• Affiliations:

• -;-

• Venue:
• Temporal Logic in Specification
• Year:
• 1987