Publikation bearbeiten
Formalizing transaction level modeling with communicating state machines
(
Teil einer Monographie/eines Konferenzbandes
)