@article{ dblp4349682,
  title = {Relating CASL with other specification languages: the institution level},
  author = {Till Mossakowski},
  author_short = {Mossakowski, T.},
  bibtype = {article},
  type = {article},
  year = {2002},
  key = {dblp4349682},
  id = {dblp4349682},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/Mossakowski02},
  url = {http://dx.doi.org/10.1016/S0304-3975(01)00369-3},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {367-475},
  number = {2},
  volume = {286},
  text = {Theor. Comput. Sci. (TCS) 286(2):367-475 (2002)}
}

{"_id":"hr8aBBv65t8d8JvNn","bibbaseid":"mossakowski-relatingcaslwithotherspecificationlanguagestheinstitutionlevel-2002","downloads":0,"creationDate":"2016-05-07T17:06:47.434Z","title":"Relating CASL with other specification languages: the institution level","author_short":["Mossakowski, T."],"year":2002,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/Mossakowski02","bibdata":{"title":"Relating CASL with other specification languages: the institution level","author":["Till Mossakowski"],"author_short":["Mossakowski, T."],"bibtype":"article","type":"article","year":"2002","key":"dblp4349682","id":"dblp4349682","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/Mossakowski02","url":"http://dx.doi.org/10.1016/S0304-3975(01)00369-3","journal":"Theor. Comput. Sci. (TCS)","pages":"367-475","number":"2","volume":"286","text":"Theor. Comput. Sci. (TCS) 286(2):367-475 (2002)","bibtex":"@article{ dblp4349682,\n title = {Relating CASL with other specification languages: the institution level},\n author = {Till Mossakowski},\n author_short = {Mossakowski, T.},\n bibtype = {article},\n type = {article},\n year = {2002},\n key = {dblp4349682},\n id = {dblp4349682},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/Mossakowski02},\n url = {http://dx.doi.org/10.1016/S0304-3975(01)00369-3},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {367-475},\n number = {2},\n volume = {286},\n text = {Theor. Comput. Sci. (TCS) 286(2):367-475 (2002)}\n}","bibbaseid":"mossakowski-relatingcaslwithotherspecificationlanguagestheinstitutionlevel-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S0304-3975(01)00369-3"},"downloads":0},"search_terms":["relating","casl","specification","languages","institution","level","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["hzN2EKwZzfGpDms8L"]}