Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Citkey="Heckel-Ehrig-Wolter-Corradini/97"

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Integrating the specification techniques of graph transformation and temporal logic

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini

Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS'97 (Bratislava, Slovakia, August 25-29, 1997)
Lecture Notes in Computer Science 1295 , 1997, pp. 219-228

Editors Igor Prívara, Peter Ruz̑ic̑ka

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo

Editors		Igor Prívara, Peter Ruz̑ic̑ka
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo