direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques
Zitatschlüssel EOP99
Autor Ehrig, H. and Orejas, F. and Padberg, J.
Buchtitel Proc. FORMS'99, Braunschweig, Germany
Seiten 31–54
Jahr 2000
Verlag Forschrittberichte VDI, Reihe 12, Nr. 436, VDI-Verlag
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe