| Original language | English |
|---|---|
| Title of host publication | In proceedings Workshop for Distributed Systems. |
| Publication status | Published - 1999 |
Basic theorems for parallel processes in time muCRL
J.F. Groote, J.J. Wamel, van
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review