Helia Hollmann

According to our database, Helia Hollmann authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Modelling and Verification of Layered Security Protocols: A Bank Application.

Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel

Proceedings of the Computer Safety, 2003