BibTeX record conf/forte/LeonCMYGSC93

download as .bib file

  author    = {Gonzalo Le{\'{o}}n and
               J. Carracedo and
               J. C. Moreno and
               Juan C. Yelmo and
               Juan J. Gil and
               Carlos S{\'{a}}nchez and
               F. Javier Carrasco},
  editor    = {Richard L. Tenney and
               Paul D. Amer and
               M. {\"{U}}mit Uyar},
  title     = {An Industrial Experience on Development with {LOTOS} and {SDL}},
  booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
               Sixth International Conference on Formal Description Techniques -
               {FORTE} '93, Boston, MA, USA, 26-29 October 1993},
  series    = {{IFIP} Transactions},
  volume    = {{C-22}},
  pages     = {219--234},
  publisher = {North-Holland},
  year      = {1993},
  timestamp = {Mon, 28 Sep 2020 11:51:02 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics