| 2008 | ||
|---|---|---|
| 2 | EE | Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126 |
| 2006 | ||
| 1 | EE | Adam Antonik, Michael Huth: Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. Electr. Notes Theor. Comput. Sci. 158: 41-57 (2006) |
| 1 | Michael Huth | [1] [2] |
| 2 | Kim Guldstrand Larsen | [2] |
| 3 | Ulrik Nyman | [2] |
| 4 | Andrzej Wasowski | [2] |