@unpublished{games12,
    Author = {Della Monica, D. and M. Napoli and M. Parente},
    Title = {{Model Checking Coalitional Games with Priced-Resource Agents}},
    Note = {Annual Workshop of the ESF Networking Programme on Games for Design and
            Verification (GAMES)},
    Year = {2012}}