@INPROCEEDINGS{FabregasEtAl10-logics,
  author =       {Ignacio F{\'a}bregas and de Frutos-Escrig, David and
                  Miguel Palomino},
  title =        {Logics for Contravariant Simulations},
  booktitle =    {Formal Techniques for Distributed Systems, Joint 12th IFIP
                  WG 6.1 International Conference, FMOODS 2010 and 30th IFIP
                  WG 6.1 International Conference, FORTE 2010, Amsterdam,
                  The Netherlands, June 7-9, 2010. Proceedings},
  editor =       {John Hatcliff and Elena Zucca},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer},
  volume =       6117,
  pages =        {224-231},
  year =         2010
}