An effective fault ordering heuristic for SAT-based dynamic test compaction techniques
- 期刊名称it - Information Technology
- 作者Eggersglüß, Stephan; Drechsler, Rolf
- 卷第56卷
- 期第4期
- 印刷ISSN1611-2776
- 电子ISSN2196-7032
- 文件大小243.02KB
- 发表时间2014-01-28
- DOI10.1515/itit-2013-1041
Vol XIII.I-II, Pars I: Philoponi (olim Ammonii) in Aristotelis Categorias commentarium. Pars II: Ioannis Philoponi in Aristotelis analytica priora commentaria () || CORRIGENDUMBusse, Adolfus; Wallies, Maximilianus · 1962
Vol XIII.I-II, Pars I: Philoponi (olim Ammonii) in Aristotelis Categorias commentarium. Pars II: Ioannis Philoponi in Aristotelis analytica priora commentaria () || PRAEFATIOBusse, Adolfus; Wallies, Maximilianus · 1962
Vol XIII.I-II, Pars I: Philoponi (olim Ammonii) in Aristotelis Categorias commentarium. Pars II: Ioannis Philoponi in Aristotelis analytica priora commentaria () || SUPPLEMENTUM PRAEFATIONISBusse, Adolfus; Wallies, Maximilianus · 1962
Vol XIII.I-II, Pars I: Philoponi (olim Ammonii) in Aristotelis Categorias commentarium. Pars II: Ioannis Philoponi in Aristotelis analytica priora commentaria () || SUPPLEMENTUM PRAEFATIONISBusse, Adolfus; Wallies, Maximilianus · 1962
Vol XIII.I-II, Pars I: Philoponi (olim Ammonii) in Aristotelis Categorias commentarium. Pars II: Ioannis Philoponi in Aristotelis analytica priora commentaria () || Front matter 2Busse, Adolfus; Wallies, Maximilianus · 1962
Pars I: Porphyrii Isagoge et in Aristotelis Categorias commentarium. Pars II: Dexippi in Aristotelis Categorias commentarium. Pars III: Ammonius in Porphyrii Isagogen sive V voces () || INDICESBusse, Adolfus · 1962
Pars I: Porphyrii Isagoge et in Aristotelis Categorias commentarium. Pars II: Dexippi in Aristotelis Categorias commentarium. Pars III: Ammonius in Porphyrii Isagogen sive V voces () || PRAEFATIOBusse, Adolfus · 1962
Pars I: Porphyrii Isagoge et in Aristotelis Categorias commentarium. Pars II: Dexippi in Aristotelis Categorias commentarium. Pars III: Ammonius in Porphyrii Isagogen sive V voces () || INDICESBusse, Adolfus · 1962