Publikationen von Ingo Felscher
Alle Publikationen
| [FT09] |
I. Felscher and W. Thomas.
Compositionality and reachability with conditions on path
lengths.
International Journal of Foundations of Computer Science,
20(5):851-868, 2009.
(c) World Scientific Publishing Company. [ pdf | Abstract ] |
| [Fel08] |
I. Felscher.
The compositional method and regular reachability.
In Proceedings of the 2nd Workshop on Reachability Problems,
Liverpool, UK, September 15-17,2008, volume 223 of Electronic Notes in
Theoretical Computer Science, pages 103-117. Elsevier Science Publishers,
2008. [ pdf | Abstract ] |