Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [2] Hilfe Hilfe
 
Suche: Citkey="Leucker-Madhusudan-Mukhopadhyay/02"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Dynamic message sequence charts Publikation auswählen
Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay

Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)
Lecture Notes in Computer Science 2556 , 2002, pp. 253-264

Editors  Manindra Agrawal, Anil Seth
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo
 
URL:   http://www.springerlink.com/content/p8txacqpvdq1lj23