@Misc{Perin:These:2000:SpecificationsGraphiquesMultiVues,
  author       = {Périn, Michaël}, 
  title        = "{Spécifications graphiques multi-vues : formalisation et vérification de cohérence}",
  howpublished = {Thèse de doctorat, IFSIC, Université de Rennes I},
  month        = oct,
  year         = 2000,
  pages        = {222},
  url          = {http://www.irisa.fr/bibli/publi/theses/2000/perin/perin.html},
  keywords     = {architectures logicielles, modélisation multi-vues, vérification de cohérence, 
                  aspects statiques et dynamiques, diagrammes avec multiplicités, UML, 
                  propriétés de graphes, système d'inférence, réécriture de graphes},
}

@PhdThesis{Perin:PhD:2000:SpecificationsGraphiquesMultiVues,
  author       = {Périn, Michaël}, 
  title        = "{Spécifications graphiques multi-vues : formalisation et vérification de cohérence}",
  school       = {Thèse de doctorat, IFSIC, Université de Rennes I},
  month        = oct,
  year         = 2000,
  pages        = {222},
  url          = {http://www.irisa.fr/bibli/publi/theses/2000/perin/perin.html},
  note         = {\textit{in french}},
  keywords     = {Software Architectures, multiple views, consistency checking,
                  static and dynamic aspect, diagram with multiplicities, UML,
                  graph path-properties, inferencce system, graph rewriting},
}