Eintrag weiter verarbeiten
Using model counting to find optimal distinguishing tests
Gespeichert in:
| Personen und Körperschaften: | , |
|---|---|
| Titel: | Using model counting to find optimal distinguishing tests/ Stefan Heinz; Martin Sachenbacher |
| Format: | E-Book |
| Sprache: | Englisch |
| veröffentlicht: |
Berlin-Dahlem
Konrad-Zuse-Zentrum für Informationstechnik
2008
|
| Gesamtaufnahme: |
Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2008,32
|
| Schlagwörter: | |
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
Wird geladen...