BibTeX record conf/forte/NajmSF95

download as .bib file

@inproceedings{DBLP:conf/forte/NajmSF95,
  author    = {Elie Najm and
               Jean{-}Bernard Stefani and
               Arnaud F{\'{e}}vrier},
  title     = {Towards a Mobile {LOTOS}},
  booktitle = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
               Eighth International Conference on Formal Description Techniques,
               Montreal, Canada, October 1995},
  pages     = {127--142},
  year      = {1995},
  crossref  = {DBLP:conf/forte/1995},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/NajmSF95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1995,
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Omar Rafiq},
  title     = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
               Eighth International Conference on Formal Description Techniques,
               Montreal, Canada, October 1995},
  series    = {{IFIP} Conference Proceedings},
  volume    = {43},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-73270-X},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics