 | 2009 |
|---|
| 3 |       | Ganna Monakova,
Oliver Kopp,
Frank Leymann,
Simon Moser,
Klaus Schäfers:
Verifying Business Rules Using an SMT Solver for BPEL Processes.
BPSC 2009: 81-94 |
| 2 |  | Tobias Anstett,
Dimka Karastoyanova,
Frank Leymann,
Ralph Mietzner,
Ganna Monakova,
Daniel Schleicher,
Steve Strauch:
MC-Cube: Mastering Customizable Compliance in the Cloud.
ICSOC/ServiceWave 2009: 592-606 |
| 1 | | Ganna Monakova,
Oliver Kopp,
Frank Leymann:
Improving control flow verification in a business process using an extended Petri net.
ZEUS 2009: 95-101 |
