| |
| 2008 | ||
|---|---|---|
| 3 | Thierry Nicola, Ulrich Ultes-Nitsche: Weakly Continuation Closed Homomorphisms on Automata. MSVVEIS 2008: 39-48 | |
| 2 | Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. MSVVEIS 2008: 49-58 | |
| 2005 | ||
| 1 | Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Model-checking Inherently Fair Linear-time Properties. MSVVEIS 2005: 3-8 | |
| 1 | Frank Nießner | [1] [2] |
| 2 | Ulrich Ultes-Nitsche (Ulrich Nitsche) | [1] [2] [3] |