Publikation
Mihai Codescu; Till Mossakowski; Christian Maeder
In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland, 2013.
@inproceedings{pub6915, author = { Codescu, Mihai and Mossakowski, Till and Maeder, Christian }, title = {Checking conservativity with Hets}, booktitle = {Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland}, year = {2013} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023