Auflistung nach Autor "Brickenstein, Michael"
Anzeige der Dokumente 1-2 von 2
-
swMATH — citations for your mathematical software
Bönisch, Sebastian; Brickenstein, Michael; Greuel, Gert-Martin; Sperber, Wolfram
10-11 -
Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel
Brickenstein, Michael; Dreyer, Alexander