Search: Quaas, K.

3 results

Results

Authors Year Title Type Fulltext
Quaas, K. 2009 Weighted Timed MSO Logics Paper
Quaas, K. 2009 On the Supports of Recognizable Timed Series Paper
Droste, M.
Quaas, K.
2008 A Kleene-Schützenberger theorem for weighted timed automata Paper