Reduction and Abstraction Techniques for BIP

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