author : Anne Elisabeth Haxthausen

Papers/Articles

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