@inproceedings{CodescuEtAl13c,
  abstract = {In this paper we present a (sound, but incomplete) algorithm for
deciding conservativity of extensions of specifications in CASL as part of the Heterogeneous Tool Set (Hets).},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Codescu, Mihai and Mossakowski, Till and Maeder, Christian},
  biburl = {https://www.bibsonomy.org/bibtex/281fc7be14ee79307bc4938fd0ae60a64/tillmo},
  booktitle = {CALCO 2013},
  editor = {Heckel, Reiko and Milius, Stefan},
  interhash = {ce7349007f35902c27dc69ef19f6009f},
  intrahash = {81fc7be14ee79307bc4938fd0ae60a64},
  keywords = {CASL Conservative Hets extension},
  pages = {315--321},
  pdfurl = {http://iws.cs.uni-magdeburg.de/~mossakow/papers/hets-ccc.pdf},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Checking conservativity with Hets},
  url = {http://dx.doi.org/10.1007/978-3-642-40206-7_24},
  volume = 8089,
  year = 2013
}