Krkonoše - F. Doležal, M. Sloupenský
TU Graz – Institute for Software Technology 1 Iulia Nica SOFSEM, Špindlerův Mlýn, 25.01.2012 SiMoL The SiMoL Modeling Language for Simulation and (Re-)Configuration.
Špindlerův Mlýn, Czech Republic, 24. - 30.1. 2009SOFSEM 20091 Semantically-aided Data-aware Service Workflow Composition Ondrej Habala, Marek Paralič,
Partial Order Semantics of Types of Nets Robert Lorenz, Gabriel Juhás, Sebastian Mauser SOFSEM 2009, Špindlerův Mlýn, CZ, 27th February 2009.
A Formal Model of Business Application Integration from Web Services (Position Paper) Authors: Kaiyu Wan: East China Normal University, Shanghai, China.