Gisela Rossi

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Application Level

Propositional Dynamic Logic

Top Venues

Advances in Modal Logic

Publications

Walid Belkhir, Gisela Rossi, Michaël Rusinowitch
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. Advances in Modal Logic (2014)