author : Ute Hamer

Short works

• Z Applied to the A330/340 CIDS Cabin Communication System. 1995. (In Applications of Formal Methods )