Title of article
A semantics of sequence diagrams
Author/Authors
Seung Mo Cho، نويسنده , , Hyung Ho Kim، نويسنده , , Sung Deok Cha، نويسنده , , Doo Hwan Bae، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2002
Pages
6
From page
125
To page
130
Keywords
Sequence diagram , Specification languages , Temporal Logic , Formal semantics
Journal title
Information Processing Letters
Serial Year
2002
Journal title
Information Processing Letters
Record number
129599
Link To Document