Search All Publications

Articles in Conference Proceedings

Tutorials

  • Ekkart Rudolph, Jens Grabowski, Peter Graubmann
    Tutorial 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

Main menu 2