| Original language | English |
|---|---|
| Publisher | Telematica Research Centre |
| Number of pages | 14 |
| Publication status | Published - 1997 |
Publication series
| Name | Testbed/wp4/n011/v001 |
|---|
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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