Reduction and Abstraction Techniques for BIP

Mohamad A. Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
January, 2014
Cite DOI
Type
Book section
Publication
Formal Aspects of Component Software