Original language | English |
---|---|
Pages (from-to) | 109-125 |
Journal | Bulletin of the European Association for Theoretical Computer Science |
Volume | 82 |
Publication status | Published - 2004 |
Process Algebra Needs Proof Methodology (Columns: Concurrency)
W.J. Fokkink, J.F. Groote, M.A. Reniers
Research output: Contribution to Journal › Article › Academic › peer-review