Brickenstein, M.M.BrickensteinDreyer, A.A.Dreyer2022-03-042022-03-042011https://publica.fraunhofer.de/handle/publica/227685de003006519004620Verifikation digitaler Systeme mit PolyBoRijournal article