Veriﬁkation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel

Brickenstein, Michael; Dreyer, Alexander

Autor(en):

Vollständige Referenz
BibTeX

Brickenstein, M. & Dreyer, A., (2011). Veriﬁkation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel. Computeralgebra-Rundbrief: Vol. 48. Berlin: Gesellschaft für Informatik e.V., Fachgruppe Computeralgebra.

@article{mci/Brickenstein2011,
author = {Brickenstein, Michael AND Dreyer, Alexander},
title = {Veriﬁkation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel},
journal = {Computeralgebra-Rundbrief},
volume = {},
number = {},
year = {2011},

}