@inproceedings{boian2007,
  title={Some Formal Approaches for Dynamic Life Session Management},
  author={Boian, Florian and Bufnea, Darius and Vancea, Alexandru and Sterca, Adrian and Cojocar, Dan and Boian, Rares},
  booktitle={Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques - KEPT2007, Cluj-Napoca (Romania), June 6-8, 2007},
  pages={227--235},
  year={2007}
}