BibTeX record conf/db-workshops/Ramanathan92

download as .bib file

@inproceedings{DBLP:conf/db-workshops/Ramanathan92,
  author    = {Greetha Ramanathan},
  editor    = {Vangalur S. Alagar and
               Laks V. S. Lakshmanan and
               Fereidoon Sadri},
  title     = {A Unified Framework for Database Specification: Functional Approach},
  booktitle = {Formal Methods in Databases and Software Engineering, Proceedings
               of the Workshop on Formal Methods in Databases and Software Engineering,
               Montreal, Canada, 15-16 May 1992},
  series    = {Workshops in Computing},
  pages     = {96--110},
  publisher = {Springer},
  year      = {1992},
  timestamp = {Thu, 20 Feb 2003 15:10:07 +0100},
  biburl    = {https://dblp.org/rec/conf/db-workshops/Ramanathan92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics