Last update: Fri Jan 5 02:05:58 MST 2018
@Article{Ferguson:1997:FVR, author = "Michael J. Ferguson", title = "Formalization and validation of the {Radio Link Protocol (RLP1)}", journal = j-COMP-NET-ISDN, volume = "29", number = "3", pages = "357--372", day = "1", month = feb, year = "1997", CODEN = "CNISE9", ISSN = "0169-7552 (print), 1879-2324 (electronic)", ISSN-L = "0169-7552", bibdate = "Fri Sep 24 20:21:43 MDT 1999", bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/cna/cas_free/browse/browse.cgi?year=1997&volume=29&issue=3; http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib", URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/comnet/cas_sub/browse/browse.cgi?year=1997&volume=29&issue=3&aid=1655", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/01697552", }