Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | 0,00 | 0,00 | On Decidability of LTL+Past Model Checking for Process Rewrite Systems
|
5,98 | 17,94 | On Decidability of LTL Model Checking for Process Rewrite Systems
|
12,70 | 38,11 | Reachability is decidable for weakly extended process rewrite systems
|
4,82 | 14,45 | Reachability of Hennessy - Milner properties for weakly extended PRS
|
4,11 | 12,32 | Reachability of Hennessy - Milner properties for weakly extended PRS
|
0,00 | 0,00 | Refining Undecidability Border of Weak Bisimilarity.
|
0,00 | 0,00 | On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
|
10,06 | 30,19 | On Decidability of LTL Model Checking for Process Rewrite Systems
|
4,82 | 14,45 | On Decidability of LTL Model Checking for Process Rewrite Systems
|
6,71 | 20,14 | Petri Nets Are Less Expressive Than State-Extended PA
|
7,22 | 14,45 | Model Checking Large Finite-State Systems and Beyond
|
0,00 | 0,00 | On Decidability of LTL+Past Model Checking for Process Rewrite Systems
|
0,00 | 0,00 | Refining Undecidability Border of Weak Bisimilarity.
|
10,06 | 30,19 | Refining Undecidability Border of Weak Bisimilarity
|
Back
(c) Michal Bulant, 2011