Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
From Graph Transformation Units via MiniSat to GrGen.NET
AGTIVE, 2011.
@inproceedings{AGTIVE-2011-ErmlerKKT,
author = "Marcus Ermler and Hans-Jörg Kreowski and Sabine Kuske and Caroline von Totth",
booktitle = "{Revised Selected and Invited Papers of the Fourth International Symposium on Applications of Graph Transformations with Industrial Relevance}",
doi = "10.1007/978-3-642-34176-2_14",
isbn = "978-3-642-34175-5",
pages = "153--168",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{From Graph Transformation Units via MiniSat to GrGen.NET}",
volume = 7233,
year = 2011,
}
Tags: