Translating Asynchronous Games for Distributed Synthesis (English)
Free access
- New search for: Beutner, Raven
- New search for: Finkbeiner, Bernd
- New search for: Hecking-Harbusch, Jesko
- New search for: Beutner, Raven
- New search for: Finkbeiner, Bernd
- New search for: Hecking-Harbusch, Jesko
- Conference paper / Electronic Resource
-
Title:Translating Asynchronous Games for Distributed Synthesis
-
Contributors:
-
Publication date:2019-01-01
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004 / 700
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Licence:
-
Source: