Authors B. AfshariGraham E. Leigh Date (dd-mm-yyyy) 2019 Title Direct interpolation for modal mu-calculus Publication Year 2019 Document type Conference contribution Permalink https://hdl.handle.net/11245.1/60e8634e-5c28-42df-8cff-bf920ac6d542