Hohe Testmengenkompaktierung durch formale Optimierungstechniken

@inproceedings{pub7151,
    author = {

Eggersglüß, Stephan
 and 

Schmitz, Kenneth
 and 

Krenz-Baath, Rene
 and 

Drechsler, Rolf
},
    title = {Hohe Testmengenkompaktierung durch formale Optimierungstechniken},
    booktitle = {ITG/GI/GMM-Workshop Testmethoden und Zuverlässigkeit von  Schaltungen und Systemen - Proceedings. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-14), 26., February 23-25, Bad Staffelstein, Germany},
    year = {2014}
}