![]() | ![]() |
2007 | ||
---|---|---|
7 | EE | Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems CoRR abs/0710.5659: (2007) |
6 | EE | Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. Logical Methods in Computer Science 3(4): (2007) |
2004 | ||
5 | EE | Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. LICS 2004: 2-11 |
4 | EE | Martin Grohe, Stefan Wöhrle: An existential locality theorem. Ann. Pure Appl. Logic 129(1-3): 131-148 (2004) |
2003 | ||
3 | EE | Arnaud Carayol, Stefan Wöhrle: The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. FSTTCS 2003: 112-123 |
2002 | ||
2 | EE | Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle: Tiling Systems over Infinite Pictures and Their Acceptance Conditions. Developments in Language Theory 2002: 297-306 |
2001 | ||
1 | EE | Martin Grohe, Stefan Wöhrle: An Existential Locality Theorem. CSL 2001: 99-114 |
1 | Jan-Henrik Altenbernd | [2] |
2 | Arnaud Carayol | [3] |
3 | Martin Grohe | [1] [4] |
4 | Wolfgang Thomas | [2] [5] [6] [7] |