A Parametrized Propositional Dynamic Logic with Application to Service Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Walid Belkhir, Gisela Rossi, Michaël Rusinowitch. A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 34-53, College Publications, 2014. [doi]

This author has not been identified. Look up 'Walid Belkhir' in GoogleThis author has not been identified. Look up 'Gisela Rossi' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' in Google

runs on WebDSL