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.issn | 0933-5994 | |
| dc.identifier.uri | http://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 | |
| dc.pubPlace | Berlin |