Quantitative Hennessy-Milner Theorems via Notions of Density - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonas Forster, Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild. Quantitative Hennessy-Milner Theorems via Notions of Density. In Bartek Klin, Elaine Pimentel, editors, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland. Volume 252 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

This author has not been identified. Look up 'Jonas Forster' in GoogleThis author has not been identified. Look up 'Sergey Goncharov 0001' in GoogleThis author has not been identified. Look up 'Dirk Hofmann' in GoogleThis author has not been identified. Look up 'Pedro Nora' in GoogleThis author has not been identified. Look up 'Lutz Schröder' in GoogleThis author has not been identified. Look up 'Paul Wild' in Google

runs on WebDSL