BibTeX record conf/forte/LeonKGRRSN89

download as .bib file

  author    = {Gonzalo Le{\'{o}}n and
               Carlos Delgado Kloos and
               G. Gonz{\'{a}}lez and
               M. A. Ruz and
               Saturnino Marchena Rodriguez and
               L. Santos and
               J. Navarro},
  editor    = {Son T. Vuong},
  title     = {{ASDE:} Design of a Transformational Environment for {LOTOS}},
  booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
               Second International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
               BC, Canada, 5-8 December, 1989},
  pages     = {501--515},
  publisher = {North-Holland},
  year      = {1989},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics