@PhdThesis{       PousPhD:2008,
  Author        = "Pous, Damien",
  date-added    = "2013-12-28 19:51:23 +0000",
  date-modified = "2014-01-03 17:20:58 +0000",
  Keywords      = "bisimulation up-to congruence",
  Title         = "Techniques modulo pour les bisimulations",
  Year          = "2008",
  File          = "Techniques modulo pour les bisimulations - Pous (0) (0) - a - a - p.pdf"
}

@PhdThesis{ PousPhD:2008, Author = "Pous, Damien", date-added = "2013-12-28 19:51:23 +0000", date-modified = "2014-01-03 17:20:58 +0000", Keywords = "bisimulation up-to congruence", Title = "Techniques modulo pour les bisimulations", Year = "2008", File = "Techniques modulo pour les bisimulations - Pous (0) (0) - a - a - p.pdf" }