Connectivity Games over Dynamic Networks

GrĂ¼ner, Sten; Radmacher, Frank G.; Thomas, Wolfgang

Sydney : NICTA (2011)
Contribution to a book, Contribution to a conference proceedings

In: GandALF 2011 : Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification ; Minori, Italy, 15-17th June 2011 / Edited by: Giovanna D'Agostino ...
Page(s)/Article-Nr.: 131-145