Antonis D. Papatsaras

According to our database, Antonis D. Papatsaras authored at least 2 papers between 2002 and 2003.

Collaborative distances:

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

2003

Modelling and tool support for the formal development of distributed systems.

Antonis D. Papatsaras

PhD thesis, 2003

2002

Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.

Antonis D. Papatsaras, Bill Stoddart

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002