% This file was created with JabRef 2.5.
% Encoding: Cp1252

@PHDTHESIS{Seidner-thesis-2009,
  author = {Charlotte Seidner},
  title = {V\'erification des EFFBDs~: Model checking en Ing\'enierie Syst\`eme},
  school = {Universit\'e de Nantes},
  year = {2009},
  month = nov
}