Browse by Author

Authors (A-Z) Klaedtke, Felix

3 Results for Klaedtke, Felix

Subscribe to RSS feed for this result set

1. Alternation Elimination for Automata over Nested Words

Dax, Christian Nikolaus and Klaedtke, Felix (2011)


Reports

2. A Trace-based Model for Multiparty Contracts

Hvitved, Tom, Klaedtke, Felix and Zălinescu, Eugen (2012)


Journal Items

3. Monitoring usage-control policies in distributed systems

Harvan, Matúš, Klaedtke, Felix, Zălinescu, Eugen and Basin, David A. (2011)


Reports