Misc1479: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 11: | Zeile 11: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|DOI Name= | |DOI Name= | ||
− | |||
|Projekt= | |Projekt= | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} |
Version vom 15. August 2009, 14:51 Uhr
Property Testing und die BDD-Größe boolescher Funktionen: Nichttestbarkeitsresultate
Veröffentlichung: 2004
Art der Veröffentlichung: Diplomarbeit, Universität Dortmund
BibTeX
Forschungsgebiet