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
- Mahmoud Abdelrehim
- Aliyu Ali
- Christopher Walther
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Mahdi Pourghasem
- Manuel Herbst
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact