Return to Issue Details
A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams using SPIN
Download
Download PDF