EasyChair Smart Slide
Software Tool Support for Modular Reasoning in Modal Logics of Actions
Software Tool Support for Modular Reasoning in Modal Logics of Actions