Antonis D. Papatsaras

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Teesside University, UK (PHD)

Education History

Teesside University, UK

PHD

Publications

Antonis D. Papatsaras, Bill Stoddart
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. ZB (2002)