Last update: Thu Jun 20 02:01:00 MDT 2019
@Article{Letichevsky:2005:BPM, author = "A. Letichevsky and J. Kapitonova and A. {Letichevsky, Jr.} and V. Volkov and S. Baranov and T. Weigert", title = "Basic protocols, message sequence charts, and the verification of requirements specifications", journal = j-COMP-NET-AMSTERDAM, volume = "49", number = "5", pages = "661--675", day = "5", month = dec, year = "2005", CODEN = "????", ISSN = "1389-1286 (print), 1872-7069 (electronic)", ISSN-L = "1389-1286", bibdate = "Sat Apr 2 08:42:08 MDT 2011", bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetamsterdam2000.bib", acknowledgement = ack-nhfb, fjournal = "Computer Networks", journal-URL = "http://www.sciencedirect.com/science/journal/13891286", }