Reinhardt, TilmannTilmannReinhardtMendler, MichaelMichaelMendlerStroup, TerryTerryStroup2019-09-192018-08-132018https://fis.uni-bamberg.de/handle/uniba/44288-eng-Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelementeconferenceobjecturn:nbn:de:bvb:473-opus4-526653