Dynamic Message Sequence Charts
Title | Dynamic Message Sequence Charts |
Publication Type | Conference Paper |
Year of Publication | 2002 |
Authors | Leucker, M, Madhusudan, P, Mukhopadhyay, S |
Editor | Agrawal, M, Seth, A |
Conference Name | Proceedings of 22nd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'02) |
Series | Lecture Notes in Computer Science |
Volume | 2556 |
Publisher | Springer |
Bibtex:
@inproceedings {LeuckerMM02, title = {Dynamic Message Sequence Charts}, booktitle = {Proceedings of 22nd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS{\textquoteright}02)}, series = {Lecture Notes in Computer Science}, volume = {2556}, year = {2002}, publisher = {Springer}, organization = {Springer}, author = {Martin Leucker and P. Madhusudan and Supratik Mukhopadhyay}, editor = {M. Agrawal and A. Seth} }
PDF:
Postscript:
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact