Publication
Detail
Publication date: 01/08/2003Using B Refinement to Analyse Compensating Business Processes
| URL | http://link.springer.com/chapter/10.1007%2F3-540-44880-2_28 |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Series | LNCS |
| Volume | 2651 |
| URL | http://link.springer.com/chapter/10.1007%2F3-540-44880-2_28 |
| Publisher | Springer Berlin Heidelberg |
| Series | LNCS |
| Volume | 2651 |