A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
More Info
expand_more
expand_more
Files
SYSMICS_2019_paper_35.pdf
(.pdf | 0.369 Mb)