[ Back to Record ]

  1. Bib ID# 21654
    ISBN: 9781846287701
    UPC: 10.1007/978-1-84628-770-1
    Title: Principles of the Spin Model Checker
    Author: Ben-Ari, Mordechai.
    Publication Info:
    Item Type: Language material

[ Back to Record ]