Křivánek Milan (
search by name in IS MU
/auth
)
Body na spoluautora
Body za publikaci pro MU
Odkaz ISVaV
0,00
0,00
Space Effective Model Checking for Component-Interaction Automata
18,06
72,24
CoIn Tool Set
Back
(c) Michal Bulant, 2011