![]() | ![]() |
| 2011 | ||
|---|---|---|
| 3 | Ingo Felscher, Wolfgang Thomas: Compositional Failure Detection in Structured Transition Systems. CIAA 2011: 130-141 | |
| 2009 | ||
| 2 | Ingo Felscher, Wolfgang Thomas: Compositionality and Reachability with Conditions on Path Lengths. Int. J. Found. Comput. Sci. 20(5): 851-868 (2009) | |
| 2008 | ||
| 1 | Ingo Felscher: The Compositional Method and Regular Reachability. Electr. Notes Theor. Comput. Sci. 223: 103-117 (2008) | |
| 1 | Wolfgang Thomas | [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page