Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications
Computer Networks - Netherlands
doi 10.1016/j.comnet.2005.05.005
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 2005
Authors
Publisher
Elsevier BV