Publication Overview

C. Baier and V. Wolf

Stochastic Reasoning About Channel-Based Component Connectors

Published in: COORDINATION
Year: 2006
Pages: 1-15