# Bib file

@inproceedings{MossakowskiKlin2001},
  author = {T. Mossakowski and B. Klin},
  title = {Institution Independent Static Analysis for CASL},
  booktitle = {Proc. WADT 2001},
  editor = {M. Cerioli and G. Reggio},
  series = {LNCS},
  volume = {2267},
  year = {2001}
}