Contributions to Conferences

back

From Graph Transformation Units via MiniSat to GrGen.NET


Authors

  • Ermler, M.
  • Kreowski, H.-J.
  • Kuske, S.
  • von Totth, C.

Meta information [BibTeX]

  • Year: 2011, Reviewed
  • Schürr, A. and Varró, D. and Varró, G. (Editors)
  • In: Applications of Graph Transformations with Industrial Relevance
  • Subtitle: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
  • Conference: 4th International Symposium Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011) in Budapest, Hungary (October 4-7, 2011)
  • Series: Lecture Notes in Computer Science, Vol. 7233
  • Publisher: Springer, Berlin Heidelberg
  • ISBN: 978-3-642-34175-5, eISBN: 978-3-642-34176-2
  • ISSN: 0302-9743
  • DOI: 10.1007/978-3-642-34176-2_14



Arbeitsgruppe Theoretical Computer Science



Ermler, M.; Kreowski, H.-J.; Kuske, S.; von Totth, C.
From Graph Transformation Units via MiniSat to GrGen.NET
In: Schürr, A.; Varró, D.; Varró, G. (eds.): Applications of Graph Transformations with Industrial Relevance. 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Springer, Berlin Heidelberg, 2011,
(Workgroup: Theoretical Computer Science)
BibTeX Close


Download as .bib