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

Brickenstein, MichaelDreyer, Alexander2022-02-142022-02-142011https://dl.gi.de/handle/20.500.12116/38238deVeriﬁkation digitaler Systeme mit P OLY B O R I – Ein FallbeispielText/Journal Article0933-5994