| Original language | English |
|---|---|
| Title of host publication | Petri Nets for Systems Engineering : A Guide to Modeling, Verification and Applications |
| Editors | C. Girault, R. Valk |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 382-397 |
| Number of pages | 16 |
| ISBN (Print) | 3-540-41217-4 |
| Publication status | Published - 2003 |
Verifying Petri-net models using process algebra.
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review