I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Analysis of Dynamic Communicating Systems by Hierarchical Abstraction

Reference:

J. Bauer and R. Wilhelm. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Seminar proceedings 06081, Dagstuhl, Feb 2006.

Suggested BibTeX entry:

@techreport{BauWi06,
    author = {J. Bauer and R. Wilhelm},
    institution = {Dagstuhl},
    month = {Feb},
    title = {{A}nalysis of {D}ynamic {C}ommunicating {S}ystems by {H}ierarchical {A}bstraction},
    type = {Seminar Proceedings 06081},
    year = {2006}
}

PDF (579 kB)