Global rebuilding of OBDD's: tunnelling memory requirement maxima
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Bern, Jochen (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Trier Univ., Mathematik/Informatik [1995]
Schriftenreihe:Trierer Forschungsberichte 95,3
Umfang:11 Bl.