Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| LTL Fragments are Hard for Standard Parameterisations. | 1 | 0.36 | 2015 |
| The model checking fingerprints of CTL operators. | 0 | 0.34 | 2015 |
| Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. | 1 | 0.38 | 2014 |