author : Anne Elisabeth Haxthausen

Short works

• Formal Development and Verification of a Distributed Railway Control System. 1999. (In FM'99 volume 2 )