Titel |
⊕-OBDDs : a BDD structure for probabilistic verification / Ch. Meinel ; H. Sack. Universität Trier, Mathematik/Informatik |
|---|---|
Beteiligt |
Christoph Meinel (Verfasser) |
Erschienen |
Trier: Univ., Mathematik/Informatik |
Umfang |
11 S. : graph. Darst. |
Sprache |
|
Themengebiet |
|
Reihe |
Forschungsbericht / Universität Trier, Mathematik, Informatik ; Nr. 98,28 |
Datensatz-ID |
957049137 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: