@inproceedings{conf/tacas/MossakowskiML07,
  added-at = {2017-08-29T07:52:08.000+0200},
  author = {Mossakowski, Till and Maeder, Christian and Lüttich, Klaus},
  biburl = {https://www.bibsonomy.org/bibtex/26675b013f0ae6ba3dd36520f702bbd8b/tillmo},
  booktitle = {TACAS},
  editor = {Grumberg, Orna and Huth, Michael},
  ee = {http://dx.doi.org/10.1007/978-3-540-71209-1_40},
  interhash = {07f990e3c582525ee6661dce0c39af89},
  intrahash = {6675b013f0ae6ba3dd36520f702bbd8b},
  isbn = {978-3-540-71208-4},
  keywords = {casl institution logic myown},
  pages = {519-522},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2017-08-29T07:55:01.000+0200},
  title = {The Heterogeneous Tool Set, Hets.},
  url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#MossakowskiML07},
  volume = 4424,
  year = 2007
}