PUBLICATION: A timer-based connection management protocol with synchronized clocks and its verification
© 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