| Original language | English |
|---|---|
| Publisher | Telematica Research Centre |
| Number of pages | 14 |
| Publication status | Published - 1997 |
Publication series
| Name | Testbed/wp4/n011/v001 |
|---|
Feasibility of model checking in the context of business processes using amber and spin
W. Janssen, S. Mauw, J. Springintveld
Research output: Book/Report › Report › Academic