Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang. Model-Based Quality Assurance of the SMB2 Protocol Documentation. In Hong Zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. pages 235-240, IEEE Computer Society, 2008. [doi]
Abstract is missing.