BibTeX record conf/fmoods/NajmNS99

download as .bib file

@inproceedings{DBLP:conf/fmoods/NajmNS99,
  author    = {Elie Najm and
               Abdelkrim Nimour and
               Jean{-}Bernard Stefani},
  title     = {Infinite types for distributed object interfaces},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
               Third International Conference on Formal Methods for Open Object-Based
               Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  year      = {1999},
  crossref  = {DBLP:conf/fmoods/1999},
  timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/NajmNS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/1999,
  editor    = {Paolo Ciancarini and
               Alessandro Fantechi and
               Roberto Gorrieri},
  title     = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
               Third International Conference on Formal Methods for Open Object-Based
               Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series    = {{IFIP} Conference Proceedings},
  volume    = {139},
  publisher = {Kluwer},
  year      = {1999},
  isbn      = {0-7923-8429-6},
  timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics