@InProceedings{BLP03,
  author =       "G. Behrmann and K.G. Larsen and R. Pel\'anek",
  title =        "To Store or Not To Store",
  booktitle =    "Proc. Computer Aided Verification (CAV'03)",
  year =         "2003",
  volume =       "2725",
  series =       "LNCS",
  pages =        "433--445",
  optpublisher = "Springer-Verlag"
}