@proceedings{lamas2011,
  editor        = {H. van~Ditmarsch and Fern\'andez~Duque, D. and V. Goranko and W. Jamroga and M. Ojeda-Aciego},
  title         = {M4M'2011 and LAMAS'2011},
  booktitle     = {Proceedings of the 7th Workshop on Methods for Modalities and the 4th Workshop on Logical Aspects of Multi-Agent Systems},
  publisher     = {Elsevier},
  series        = {Electronic Notes in Theoretical Computer Science},
  volume        = {278},
  year          = {2011}
}