Suche

Assembly Theories for Communication-Safe Component Systems

Rolf Hennicker, Alexander Knapp, Martin Wirsing

erschienen 2014 Festschrift Joseph Sifakis (FPS@ETAPS) 2014. S. 145-160