direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Integrating the Specification Techniques of Graph Transformation and Temporal Logic
Zitatschlüssel HEWC97a
Autor Heckel, R. and Ehrig, H. and Wolter, U. and Corradini, A.
Buchtitel Proc. of MFCS'97, Bratislava
Seiten 219–228
Jahr 1997
Jahrgang 1295
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe