Apartness and distinguishing formulas in Hennessy-Milner logic (Q6163888)

From MaRDI portal
scientific article; zbMATH DE number 7719267
Language Label Description Also known as
English
Apartness and distinguishing formulas in Hennessy-Milner logic
scientific article; zbMATH DE number 7719267

    Statements

    Identifiers