Lang, Bruno
Wien [u.a.] : Springer (2001)
Buchbeitrag
In: Symbolic algebraic methods and verification methods / Götz Alefeld ... (eds.)
Seite(n)/Artikel-Nr.: 145-152
Einrichtungen
- Lehrstuhl für Hochleistungsrechnen (Informatik 12) [123010]
- Fachgruppe Informatik [120000]