Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence

Wan Fokkink*, Rob van Glabbeek, Bas Luttik

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

208 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence'. Together they form a unique fingerprint.

Computer Science

Arts and Humanities

Mathematics