direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Books

Formal Techniques for Networked and Distributed Systems - FORTE 2003
Citation key koenig03formal_techniques_for
Year 2003
Editor König, H. and Heiner, M. and Wolisz, Adam
Publisher Springer Verlag: Berlin, Heidelberg, New York
Series Lecture notes in Computer Science 2767
Bibtex Type of Publication BooksCoAuthored by TKN
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Search Publications