Fabio Mogavero
Fabio Mogavero
Affiliation: University of Napoli "Federico II"
Affiliation: University of Naples, Italy
Affiliation: Universita di Napoli Federico II
Pages in this Program
A note on the fragment of modal μ-calculus equivalent to First Order Logic over infinite trees
Best-Effort Safety Control of Multi-Mode Systems
Common Foundations for Recursive Shape Languages
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑