Author:
Griebl Ludwig,Schuster Johann
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference10 articles.
1. Bahar R, Frohm E, Ganoa CM, Hachtel G, Macii E, Pardo A, Somenzi F (1997) Algebraic decision diagrams and their applications. Form Methods Syst Des 10(2/3):171–206
2. Bourbaki N (1974) Algebra I, Chaps. 1–3. Springer, Berlin
3. Fujita M, McGeer PC, Yang JC-Y (1997) Multi-terminal binary decision diagrams: an efficient data structure for matrix representation. Form Methods Syst Des 10(2–3):149–169
4. Jezek J, Kepka T (1983) Medial groupoids. Rozpravy Ceskoslovenske Akademie Ved, Rada matematickych a prirodnch ved. Rocnik 93, Sesit 2, Prague
5. Kuntz M (2006) Symbolic semantics and verification of stochastic process algebras. Dissertation, Institut für Informatik der FAU, Erlangen