Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verifikation digitaler Systeme mit PolyBoRi

Ein Fallbeispiel
 
: Brickenstein, M.; Dreyer, A.

Computeralgebra-Rundbrief 48 (2011), pp.13-16
ISSN: 0933-5994
German
Journal Article
Fraunhofer ITWM ()

: http://publica.fraunhofer.de/documents/N-219484.html