![](/img/cover-not-exists.png)
Component-interaction automata as a verification-oriented component-based system specification
Brim, Luboš, Černá, Ivana, Vařeková, Pavlína, Zimmerova, BarboraVolume:
31
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1118537.1123063
Date:
March, 2006
File:
PDF, 181 KB
english, 2006