• RecordNumber
    49382
  • Author

    Gerard j . Holzmann

  • Title

    Spin Model Checker, The: Primer and Reference Manual

  • Publication
    Addison Wesley
  • Publication Year
    2003
  • Collation
    608
  • نام فايل
    IUST eb-197 -- eb197d10
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=49382&Field=0&DTC=2