@phdthesis{EURECOM+919,
  author = {Jung, Matthias},
  title = {Software engineering techniques for support of communication protocol implementation},
  year = {2000},
  note = {© Université de Nice. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :},
}