Presentation at the HNI Symposium

On September 12, Richard Gay presented the concept of Service Automata and its implementation in the tool CliSeAu at the 10th Heinz Nixdorf Symposium at Paderborn University.