BibTeX record journals/debu/AbiteboulSV09

download as .bib file

@article{DBLP:journals/debu/AbiteboulSV09,
  author       = {Serge Abiteboul and
                  Luc Segoufin and
                  Victor Vianu},
  title        = {Modeling and Verifying Active {XML} Artifacts},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {32},
  number       = {3},
  pages        = {10--15},
  year         = {2009},
  url          = {http://sites.computer.org/debull/A09sept/serge.pdf},
  timestamp    = {Tue, 10 Mar 2020 16:23:50 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/AbiteboulSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics