Reinhardt, TilmannTilmannReinhardtMendler, MichaelMichaelMendlerStroup, TerryTerryStroup2024-10-222024-10-221992978-3-8007-1905-1https://fis.uni-bamberg.de/handle/uniba/104020-deu-Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelementeconferenceobject