@inproceedings{e1123edd61de459fa60e96730026502d,
title = "A toolset for Message Sequence Charts",
abstract = "Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.",
author = "Peled, {Doron A.}",
year = "1998",
doi = "10.1007/bfb0028776",
language = "אנגלית",
isbn = "3540646086",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "532--536",
booktitle = "Computer Aided Verification - 10th International Conference, CAV'98, Proceedings",
address = "גרמניה",
note = "10th International Conference on Computer-Aided Verification, CAV'98 ; Conference date: 28-06-1998 Through 02-07-1998",
}