| 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