On Projective and Separable Properties

  • Authors:

  • Doron Peled

  • Affiliations:

  • -

  • Venue:
  • CAAP '94 Proceedings of the 19th International Colloquium on Trees in Algebra and Programming
  • Year:
  • 1994

  • The Model Checker SPIN

    IEEE Transactions on Software Engineering - Special issue on formal methods in software practice

Quantified Score

Hi-index 0.00

Visualization

Abstract