Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications SoftwareConstruction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
- Other Titles
- Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
- Authors
- Kim, Byeong-Man
- Issue Date
- Feb-2001
- Citation
- Ieice Transactions on Information and Systems, v.E84-D, no.2, pp.249 - 261
- Journal Title
- Ieice Transactions on Information and Systems
- Volume
- E84-D
- Number
- 2
- Start Page
- 249
- End Page
- 261
- ISSN
- 1745-1361
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Department of Computer Software Engineering > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Related Researcher
- KIM, BYEONG MAN
- College of Engineering (Department of Computer Software Engineering)