Zeitschriftenartikel
Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel
Lade...
Volltext URI
Dokumententyp
Text/Journal Article
Dateien
Zusatzinformation
Datum
2011
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V., Fachgruppe Computeralgebra