| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 0,00 | 0,00 | Component-Interaction Automata for Specification and Verification of Component Interactions
|
| 0,00 | 0,00 | Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
|
Back
(c) Michal Bulant, 2011