Model Checking of Non-Finite State Processes by Finite Approximations

• Authors:

• Nicoletta De Francesco;Alessandro Fantechi;Stefania Gnesi;Paola Inverardi

• Affiliations:

• -;-;-;-

• Venue:
• TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
• Year:
• 1995