Contributions to Conferences

back

A SAT-Based Graph Rewriting and Verification Tool Implemented in Haskell


Authors

  • Ermler, M.

Meta information [BibTeX]

  • Year: 2013, Reviewed
  • Hanus, M. and Rocha, R. (Editors)
  • In: Kiel Declarative Programming Days 2013
  • Conference: Kiel Declarative Programming Days 2013 in Kiel, Germany (September 11-13, 2013)
  • Series: Technical Report, Vol. 1306
  • Publisher: Christian-Albrechts-Universität zu Kiel, Kiel
  • Pages: 213-218



Arbeitsgruppe Theoretical Computer Science



Ermler, M.
A SAT-Based Graph Rewriting and Verification Tool Implemented in Haskell
In: Hanus, M.; Rocha, R. (eds.): Kiel Declarative Programming Days 2013. Christian-Albrechts-Universität zu Kiel, Kiel, 2013, pp. 213-218
(Workgroup: Theoretical Computer Science)
BibTeX Close


Download as .bib