BibTeX record conf/forte/Stefani90

download as .bib file

@inproceedings{DBLP:conf/forte/Stefani90,
  author    = {Jean{-}Bernard Stefani},
  title     = {{ODP:} The Next Target for the Applciation of FDTs},
  booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
               Third International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
               Spain, 5-8 November 1990},
  pages     = {427--442},
  year      = {1990},
  crossref  = {DBLP:conf/forte/1990},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/Stefani90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1990,
  editor    = {Juan Quemada and
               Jos{\'{e}} A. Ma{\~{n}}as and
               Enrique V{\'{a}}zquez},
  title     = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
               Third International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
               Spain, 5-8 November 1990},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89024-6},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics