Automata based modelling and simulation - application in an industrial software environment.

Vasileios Deligiannis, Stamatis Manesis

Browse the full ICINCO paper archive.