Showing 1 - 1 results of 1 for search 'Bjoern Wachter', query time: 0.29s
Refine Results
-
1
On the Complexity of Equivalence and Minimisation for Q-weighted Automata by Stefan Kiefer, Andrzej Murawski, Joel Ouaknine, Bjoern Wachter, James Worrell
Published 2013-03-01
Article