Dokument-ID Dokumenttyp Verfasser/Autoren Herausgeber Haupttitel Abstract Auflage Verlagsort Verlag Erscheinungsjahr Seitenzahl Schriftenreihe Titel Schriftenreihe Bandzahl ISBN Quelle der Hochschulschrift Konferenzname Quelle:Titel Quelle:Jahrgang Quelle:Heftnummer Quelle:Erste Seite Quelle:Letzte Seite URN DOI Abteilungen OPUS4-1827 Wissenschaftlicher Artikel Brosenne, Henrik; Homeister, Matthias; Waack, Stephan Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance 2006 4 Information Processing Letters 98 1 6 10 10.1016/j.ipl.2005.11.011