| |
| 2008 | ||
|---|---|---|
| 3 | EE | Máté Kovács, László Gönczy: Simulation and Formal Analysis of Workflow Models. Electr. Notes Theor. Comput. Sci. 211: 221-230 (2008) |
| 2007 | ||
| 2 | EE | Máté Kovács, Dániel Varró, László Gönczy: Formal modeling of BPEL workflows including fault and compensation handling. EFTS 2007: 1 |
| 1 | EE | László Gönczy, Máté Kovács, Dániel Varró: Modeling and Verification of Reliable Messaging by Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 175(4): 37-50 (2007) |
| 1 | László Gönczy | [1] [2] [3] |
| 2 | Dániel Varró | [1] [2] |