Software Tool Support for Modular Reasoning in Modal Logics of Actions
- G. Greco
- , Samuel Balco
- , Sabine Frittella
- , Alexander Kurz
- , Alessandra Palmigiano
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review