Principles.of.the.Spin.Model.Checker

[{"title":"（ 14 个子文件 4.22MB ） Principles.of.the.Spin.Model.Checker","children":[{"title":"03_fulltext.pdf <span style='color:#111;'> 233.89KB </span>","children":null,"spread":false},{"title":"10_fulltext.pdf <span style='color:#111;'> 295.55KB </span>","children":null,"spread":false},{"title":"02_fulltext.pdf <span style='color:#111;'> 178.28KB </span>","children":null,"spread":false},{"title":"11_fulltext.pdf <span style='color:#111;'> 310.90KB </span>","children":null,"spread":false},{"title":"09_fulltext.pdf <span style='color:#111;'> 128.99KB </span>","children":null,"spread":false},{"title":"12_back-matter.pdf <span style='color:#111;'> 277.82KB </span>","children":null,"spread":false},{"title":"06_fulltext.pdf <span style='color:#111;'> 164.12KB </span>","children":null,"spread":false},{"title":"01_fulltext.pdf <span style='color:#111;'> 199.24KB </span>","children":null,"spread":false},{"title":"07_fulltext.pdf <span style='color:#111;'> 206.60KB </span>","children":null,"spread":false},{"title":"Principles_of_the_SPIN_Model_Checker.pdf <span style='color:#111;'> 1.45MB </span>","children":null,"spread":false},{"title":"05_fulltext.pdf <span style='color:#111;'> 415.35KB </span>","children":null,"spread":false},{"title":"08_fulltext.pdf <span style='color:#111;'> 495.04KB </span>","children":null,"spread":false},{"title":"00_front-matter.pdf <span style='color:#111;'> 195.03KB </span>","children":null,"spread":false},{"title":"04_fulltext.pdf <span style='color:#111;'> 351.26KB </span>","children":null,"spread":false}],"spread":true}]