YoungJoon Byun. A Tool Support for Design and Validation of Communication Protocol using State Transition Diagrams. In Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA. pages 628-636, IEEE Computer Society, 2007. [doi]
Abstract is missing.