BibTeX record conf/forte/YasumotoHAMT95

download as .bib file

@inproceedings{DBLP:conf/forte/YasumotoHAMT95,
  author    = {Keiichi Yasumoto and
               Teruo Higashino and
               Kota Abe and
               Toshio Matsuura and
               Kenichi Taniguchi},
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Omar Rafiq},
  title     = {A {LOTOS} Compiler Generating Multi-threaded Object Codes},
  booktitle = {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},
  pages     = {271--286},
  publisher = {Chapman {\&} Hall},
  year      = {1995},
  timestamp = {Thu, 03 Jan 2002 11:58:40 +0100},
  biburl    = {https://dblp.org/rec/conf/forte/YasumotoHAMT95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics