Contributions to Conferences

back

Graph Transformation Units Guided by a SAT Solver


Authors

  • Kreowski, H.-J.
  • Kuske, S.
  • Wille, R.

Meta information [BibTeX]

  • Year: 2010, Reviewed
  • Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A. (Editors)
  • In: Graph Transformations
  • Subtitle: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
  • Conference: 5th International Conference, ICGT 2010 in Enschede, The Netherlands (September 27 - October 2, 2010)
  • Series: Lecture Notes in Computer Science, Vol. 6372
  • Publisher: Springer, Berlin Heidelberg
  • Pages: 27-42
  • ISBN: 978-3-642-15927-5, eISBN: 978-3-642-15928-2
  • ISSN: 0302-9743
  • DOI: 10.1007/978-3-642-15928-2_3



Arbeitsgruppe Theoretical Computer Science



Kreowski, H.-J.; Kuske, S.; Wille, R.
Graph Transformation Units Guided by a SAT Solver
In: Ehrig, H.; Rensink, A.; Rozenberg, G.; Schürr, A. (eds.): Graph Transformations. 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings. Springer, Berlin Heidelberg, 2010, pp. 27-42
(Workgroup: Theoretical Computer Science)
BibTeX Close


Download as .bib