Last update: Sat Jun 11 05:39:50 2016
@Article{Uyar:1999:TPM, author = "M. {\"U}mit Uyar and Mariusz A. Fecko and Adarshpal S. Sethi and Paul D. Amer", title = "Testing protocols modeled as {FSMs} with timing parameters", journal = j-COMP-NET-AMSTERDAM, volume = "31", number = "18", pages = "1967--1988", day = "17", month = aug, year = "1999", CODEN = "????", ISSN = "1389-1286 (print), 1872-7069 (electronic)", ISSN-L = "1389-1286", bibdate = "Fri Sep 24 19:43:33 MDT 1999", bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/cna/cas_free/browse/browse.cgi?year=1999&volume=31&issue=18; http://www.math.utah.edu/pub/tex/bib/compnetamsterdam1990.bib", URL = "http://www.elsevier.com/cas/tree/store/comnet/sub/1999/31/18/2135.pdf", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/13891286", }