Quantitative mu-calculus and CTL defined over constraint semirings

Alberto Lluch Lafuente, Ugo Montanari

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint Dive into the research topics of 'Quantitative mu-calculus and CTL defined over constraint semirings'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science