Timed process algebra: theory and applications

J.C.M. Baeten

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelSpecification and semantics (Dagstuhl Seminar 9628, July 8-12, 1996), Report 151
RedacteurenH. Ehrig, F. Henke, von, J. Meseguer, M. Wirsing
StatusGepubliceerd - 1996

Citeer dit