![](/img/cover-not-exists.png)
[ACM Press the 2005 conference - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 - Component-interaction automata as a verification-oriented component-based system specification
Brim, Luboš, Černá, Ivana, Vařeková, Pavlína, Zimmerova, BarboraYear:
2005
Language:
english
DOI:
10.1145/1123058.1123063
File:
PDF, 181 KB
english, 2005