BibTeX record conf/daisd/VillenaC92

download as .bib file

@inproceedings{DBLP:conf/daisd/VillenaC92,
  author       = {Salvador Villena and
                  Buenaventura Clares Rodr{\'{\i}}guez},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Specification of Information Systems by State Machine Deduced from
                  Deductive Conceptual Models},
  booktitle    = {Third International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1992, September 28-30, 1992, Roses,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/92/19}},
  pages        = {49--79},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1992},
  timestamp    = {Fri, 26 Jul 2019 12:08:52 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/VillenaC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics