Concurrent Parameterized Games

Nathalie Bertrand 0001, Patricia Bouyer, Anirban Majumdar 0002. Concurrent Parameterized Games. In Arkadev Chattopadhyay, Paul Gastin, editors, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India. Volume 150 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Authors

Nathalie Bertrand 0001

This author has not been identified. Look up 'Nathalie Bertrand 0001' in Google

Patricia Bouyer

This author has not been identified. Look up 'Patricia Bouyer' in Google

Anirban Majumdar 0002

This author has not been identified. Look up 'Anirban Majumdar 0002' in Google