| Originele taal-2 | Engels |
|---|---|
| Titel | Specification and semantics (Dagstuhl Seminar 9628, July 8-12, 1996), Report 151 |
| Redacteuren | H. Ehrig, F. Henke, von, J. Meseguer, M. Wirsing |
| Status | Gepubliceerd - 1996 |
Timed process algebra: theory and applications
J.C.M. Baeten
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review