TY  - JOUR
A1  - Schellhorn, Gerhard
A1  - Burandt, Axel
T1  - KIV: specification and verification of distributed technical systems with central control
T2  - Lecture Notes in Computer Science
Y1  - 1995
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64093
SN  - 9783540588672
SN  - 9783540491330
SN  - 0302-9743
SN  - 1611-3349
VL  - 891
SP  - 229
EP  - 245
PB  - Springer
CY  - Berlin
ER  -