BibTeX records: Kazuo Tokito

download as .bib file

@article{DBLP:journals/scjapan/KobayashiT00,
  author       = {Hiromi Kobayashi and
                  Kazuo Tokito},
  title        = {Descriptions of timing in requirements for reactive systems},
  journal      = {Syst. Comput. Jpn.},
  volume       = {31},
  number       = {14},
  pages        = {47--56},
  year         = {2000},
  url          = {https://doi.org/10.1002/1520-684X(200012)31:14\&\#60;47::AID-SCJ6\&\#62;3.0.CO;2-Q},
  doi          = {10.1002/1520-684X(200012)31:14\&\#60;47::AID-SCJ6\&\#62;3.0.CO;2-Q},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/KobayashiT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/TokitoKK93,
  author       = {Kazuo Tokito and
                  Takakazu Kurokawa and
                  Yoshiaki Koga},
  title        = {Realization of a self-testing bus arbiter},
  journal      = {Syst. Comput. Jpn.},
  volume       = {24},
  number       = {3},
  pages        = {13--24},
  year         = {1993},
  url          = {https://doi.org/10.1002/scj.4690240302},
  doi          = {10.1002/SCJ.4690240302},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/TokitoKK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics