Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel
| dc.contributor.author | Brickenstein, Michael | |
| dc.contributor.author | Dreyer, Alexander | |
| dc.date.accessioned | 2022-02-14T13:29:10Z | |
| dc.date.available | 2022-02-14T13:29:10Z | |
| dc.date.issued | 2011 | |
| dc.identifier.pissn | 0933-5994 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/38238 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V., Fachgruppe Computeralgebra | |
| dc.relation.ispartof | Computeralgebra-Rundbrief: Vol. 48 | |
| dc.title | Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel | de |
| dc.type | Text/Journal Article | |
| gi.citation.publisherPlace | Berlin |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- car48-2.pdf
- Größe:
- 2.31 MB
- Format:
- Adobe Portable Document Format