YasumotoHAMT95'

BibTeX

@inproceedings{DBLP:conf/forte/YasumotoHAMT95,
  author    = {Keiichi Yasumoto and
               Teruo Higashino and
               Kota Abe and
               Toshio Matsuura and
               Kenichi Taniguchi},
  title     = {A LOTOS Compiler Generating Multi-threaded Object Codes},
  booktitle = {FORTE},
  year      = {1995},
  pages     = {271-286},
  crossref  = {DBLP:conf/forte/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {43},
  year      = {1996},
  isbn      = {0-412-73270-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}