@article{EURECOM+601,
  author = {Biersack, Ernst W and  Feldmeier, David C},
  title = {A timer-based connection management protocol with synchronized clocks and its verification},
  journal = {Computer networks and ISDN systems, Volume 25, N°12, July 1993},
  year = {1993},
  note = {© Elsevier. Personal use of this material is permitted. The definitive version of this paper was published in Computer networks and ISDN systems, Volume 25, N°12, July 1993 and is available at : http://dx.doi.org/10.1016/0169-7552(93)90021-U},
}