@PHDTHESIS{jmaielth,
  author = {Mohamed Jmaiel},
  title = {{Development of Communication Protocols with
                  Algebraic-Temporal Specifications}},
  school = {Technical University of Berlin},
  year = {1996},
  owner = {mohamed},
  timestamp = {2009.11.03},
}