| Original language | English |
|---|---|
| Title of host publication | Specification and semantics (Dagstuhl Seminar 9628, July 8-12, 1996), Report 151 |
| Editors | H. Ehrig, F. Henke, von, J. Meseguer, M. Wirsing |
| Publication status | Published - 1996 |
Timed process algebra: theory and applications
J.C.M. Baeten
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review