BibTeX record conf/iceis/MakniBG06

• > Home > conf/iceis/MakniBG06

@inproceedings{DBLP:conf/iceis/MakniBG06,
  author       = {Achraf Makni and
                  Rafik Bouaziz and
                  Fa{\"{\i}}ez Gargouri},
  editor       = {Yannis Manolopoulos and
                  Joaquim Filipe and
                  Panos Constantopoulos and
                  Jos{\'{e}} Cordeiro},
  title        = {Formal Verification of an Access Concurrency Control Algorithm for
                  Transaction Time Relations},
  booktitle    = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
                  on Enterprise Information Systems: Databases and Information Systems
                  Integration, Paphos, Cyprus, May 23-27, 2006},
  pages        = {269--272},
  year         = {2006},
  timestamp    = {Thu, 02 Feb 2017 12:53:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/MakniBG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}