@inproceedings{gandalf13,
  title = "Model checking coalitional games in
           shortage resource scenarios",
  author = "Della Monica, D. and M. Napoli and M. Parente",
  booktitle = "Proc. of the 4th International Symposium on Games,
                 Automata, Logics and Formal Verification (GandALF)",
  year = "2013"
}