Logo des Repositoriums
 
Zeitschriftenartikel

Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Dateien

car48-2.pdf (2.31 MB)

Zusatzinformation

Datum

2011

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Computeralgebra-Rundbrief: Vol. 48

Verlag

Gesellschaft für Informatik e.V., Fachgruppe Computeralgebra

Zusammenfassung

Beschreibung

Brickenstein, Michael; Dreyer, Alexander (2011): Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel. Computeralgebra-Rundbrief: Vol. 48. Berlin: Gesellschaft für Informatik e.V., Fachgruppe Computeralgebra. PISSN: 0933-5994

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

CAR Ausgabe 48 (März 2011)