%0 Conference Paper %1 conf/mfcs/HeckelEWC97 %A Heckel, Reiko %A Ehrig, Hartmut %A Wolter, Uwe %A Corradini, Andrea %B MFCS %D 1997 %E Prívara, Igor %E Ruzicka, Peter %I Springer %K %P 219-228 %T Integrating the Specification Techniques of Graph Transformation and Temporal Logic. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs97.html#HeckelEWC97 %V 1295 %@ 3-540-63437-1

@inproceedings{conf/mfcs/HeckelEWC97, added-at = {2023-12-13T00:29:22.000+0100}, author = {Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/291b0f38abc072f64e2d0ba932e9cec62/admin}, booktitle = {MFCS}, crossref = {conf/mfcs/1997}, editor = {Prívara, Igor and Ruzicka, Peter}, ee = {https://doi.org/10.1007/BFb0029965}, interhash = {640edaa7ceb08f81c2513b7aa1516fc2}, intrahash = {91b0f38abc072f64e2d0ba932e9cec62}, isbn = {3-540-63437-1}, keywords = {}, pages = {219-228}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:29:22.000+0100}, title = {Integrating the Specification Techniques of Graph Transformation and Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs97.html#HeckelEWC97}, volume = 1295, year = 1997 }