Aenne Barnard

According to our database, Aenne Barnard authored at least 1 paper in 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Formal Verification of SDL Systems at the Siemens Mobile Phone Department.

Franz Regensburger, Aenne Barnard

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998