Hans-Jürgen Knobloch

RTS la - ein System zur formalen Beschreibung und Simulation komplexer Schaltwerke