共 50 条
- [31] PHYSICAL ADSORPTION AND MERCURY POROSIMETRY TECHNIQUES IN UNDERSTANDING THE COMPACTION OF POWDERS PHYSICAL CHEMISTRY OF POWDER METALS PRODUCTION AND PROCESSING, 1989, : 325 - 342
- [33] Optimization techniques for craig interpolant compaction in unbounded model checking Formal Methods in System Design, 2015, 46 : 135 - 162
- [35] Comparison of attrition milled, nanostructured, powder-compaction techniques Nanostruct Mater, 4 (513-522):
- [36] Simulation-based techniques for dynamic test sequence compaction 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, : 67 - 73
- [37] Static compaction techniques to control scan vector power dissipation Proceedings of the IEEE VLSI Test Symposium, 2000, : 35 - 40
- [38] Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 1417 - 1422
- [39] New static compaction techniques of Test Sequences for sequential circuits EUROPEAN DESIGN & TEST CONFERENCE - ED&TC 97, PROCEEDINGS, 1997, : 37 - 43