Last update: Fri Jan 5 02:05:58 MST 2018
@Article{Holzmann:1993:DVP, author = "G. J. Holzmann", editor = "B. Pehrson and B. Jonsson and J. Parrow", title = "Design and validation of protocols: a tutorial", journal = j-COMP-NET-ISDN, volume = "25", number = "9", pages = "981--1017", month = apr, year = "1993", CODEN = "CNISE9", ISSN = "0169-7552 (print), 1879-2324 (electronic)", ISSN-L = "0169-7552", bibdate = "Sat Sep 25 15:30:02 1999", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/att.bib; http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib", note = "also in: Proc. 11th PSTV91, INWG/IFIP, Stockholm, Sweden", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/01697552", xxtitle = "Tutorial: Design and Validation of Protocols", }