Media type: E-Book; Thesis Title: Random games Contributor: Horn, Florian [Verfasser] Extent: Online-Ressource Language: English Identifier: Keywords: Verifikation ; Logiksynthese ; Kombinatorisches Spiel ; Stochastisches Spiel ; Randomisierung ; Hochschulschrift Origination: University thesis: Aachen, Techn. Hochsch., Diss., 2008 Footnote: Access State: Open Access