A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
Abstract
(2019)
Authors
Helle Hansen (TU Delft - Energy and Industry)
Zeinab Bakhtiari (Lorraine University)
A Kurz (Chapman University)
Research Group
Energy and Industry
Copyright
© 2019 H.H. Hansen, Zeinab Bakhtiari, A Kurz
To reference this document use:
https://resolver.tudelft.nl/a4458714-78b2-4cf1-a18e-6bf859eed8b7
More Info
expand_more
expand_more
Publication Year
2019
Language
English
Copyright
© 2019 H.H. Hansen, Zeinab Bakhtiari, A Kurz
Research Group
Energy and Industry
Reuse Rights
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.