Jančar Petr (
search by name in IS MU
/auth
)
Body na spoluautora
Body za publikaci pro MU
Odkaz ISVaV
6,32
12,64
Equivalence-Checking on Infinite-State Systems: Techniques and Results
0,00
0,00
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Back
(c) Michal Bulant, 2011