BibTeX record conf/pci/SkourlasDL15

download as .bib file

@inproceedings{DBLP:conf/pci/SkourlasDL15,
  author       = {Christos Skourlas and
                  Dimitrios A. Dervos and
                  Martti Laiho},
  editor       = {Nikitas N. Karanikolas and
                  Demosthenes Akoumianakis and
                  Mara Nikolaidou and
                  Dimitrios D. Vergados and
                  Michalis Xenos and
                  George M. Giaglis and
                  Stefanos Gritzalis and
                  Lazaros F. Merakos and
                  Panagiotis Tsanakas and
                  Cleo Sgouropoulou},
  title        = {Database {SQL} transactions and learning by verifying in practice:
                  a case study},
  booktitle    = {Proceedings of the 19th Panhellenic Conference on Informatics, {PCI}
                  2015, Athens, Greece, October 1-3, 2015},
  pages        = {361--362},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2801948.2802015},
  doi          = {10.1145/2801948.2802015},
  timestamp    = {Wed, 21 Nov 2018 12:43:56 +0100},
  biburl       = {https://dblp.org/rec/conf/pci/SkourlasDL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics