Showing 1 - 1 results of 1 for search 'Corina Cirstea', query time: 0.01s
Refine Results
-
1
EXPTIME Tableaux for the Coalgebraic mu-Calculus by Corina Cirstea, Clemens Kupke, Dirk Pattinson
Published 2011-08-01
Article