Gisela Rossi

According to our database, Gisela Rossi authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Parametrized Propositional Dynamic Logic with Application to Service Synthesis.

Walid Belkhir, Gisela Rossi, Michaël Rusinowitch

Proceedings of the Advances in Modal Logic 10, 2014