pdf-format: |
|
@InProceedings{glasser_et_al:DSP:2011:3147, author = {Christian Glasser and Jean-Eric Pin and Nicole Schweikardt and Victor Selivanov and Wolfgang Thomas}, title = {{10501 Executive Summary -- Advances and Applications of Automata on Words and Trees}}, booktitle = {Advances and Applications of Automata on Words and Trees}, year = {2011}, editor = {Christian Glasser and Jean-Eric Pin and Nicole Schweikardt and Victor Selivanov and Wolfgang Thomas}, number = {10501}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3147}, annote = {Keywords: Infinite games with perfect information, reactive systems, specification and verification, combinatorics, hierarchies and reducibilities} }
Keywords: | Infinite games with perfect information, reactive systems, specification and verification, combinatorics, hierarchies and reducibilities | |
Seminar: | 10501 - Advances and Applications of Automata on Words and Trees | |
Issue date: | 2011 | |
Date of publication: | 26.05.2011 |