Model-Checking for a Subclass of Event Structures

  • Authors:
  • Wojciech Penczek

  • Affiliations:
  • -

  • Venue:
  • TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract