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
Apartness and distinguishing formulas in Hennessy-Milner logic (English)
0 references
26 July 2023
0 references
