Principles of the Spin model checker by M. Ben-Ari | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Principles of the Spin model checker

Principles of the Spin model checker

M. Ben-Ari

0

0

Author Description

null

Page Count:
216

Publication Date:
2008-01-01

ISBN-10:
1846287693

ISBN-13:
9781846287695

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!

Principles of the Spin model checker by M. Ben-Ari | Menrva Books | MenrvaBooks