Bisimulation as a verification and validation technique for message sequence charts

 

This item appears in the following Collection(s)