Search All Publications
Tutorials
-
Ekkart Rudolph, Jens Grabowski, Peter GraubmannTutorial on Message Sequence Charts, First Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96), 1996
2024 © Software Engineering For Distributed Systems Group