共 50 条
- [42] ESOPHAGEAL STETHOSCOPE, A SIMPLE INSTRUMENT FOR THE PEROPERATIVE CHECKING UP PRESSE MEDICALE, 1960, 68 (45): : 1667 - 1668
- [43] INSTRUMENT FOR CHECKING THE DIAMETER AND WALL THICKNESS OF GLASS TUBING SOVIET JOURNAL OF OPTICAL TECHNOLOGY, 1979, 46 (10): : 593 - 595
- [44] INSTRUMENT FOR CHECKING PPLL-2 ENGRAVED STRAIGHTEDGES MEASUREMENT TECHNIQUES USSR, 1983, 26 (06): : 463 - 466
- [46] INSTRUMENT FOR CHECKING THE THICKNESS OF MATERIALS BY MEANS OF RADIOACTIVE PREPARATIONS INDUSTRIAL LABORATORY, 1960, 26 (11): : 1498 - 1502
- [47] Laparoscopic bowel injury: role of the site and the instrument type: study with an animal model Surgical Endoscopy, 2008, 22 : 2164 - 2167
- [48] Laparoscopic bowel injury: role of the site and the instrument type: study with an animal model SURGICAL ENDOSCOPY AND OTHER INTERVENTIONAL TECHNIQUES, 2008, 22 (10): : 2164 - 2167
- [49] An integration of model checking with automated proof checking COMPUTER AIDED VERIFICATION, 1995, 939 : 84 - 97
- [50] Is it model checking, property checking, or language containment? COMPUTER DESIGN, 1996, 35 (09): : 68 - 68