BibTeX record conf/cata/KimHL98

download as .bib file

@inproceedings{DBLP:conf/cata/KimHL98,
  author       = {Tae{-}Yeon Kim and
                  Sung{-}Back Hong and
                  Yong{-}Kyun Lee},
  editor       = {Narayan C. Debnath},
  title        = {A formal specification method for building real-time distributed software},
  booktitle    = {Computers and Their Applications (CATA-98), Proceedings of the {ISCA}
                  13th International Conference, Honolulu, Hawaii, USA, March 25-27,
                  1998},
  pages        = {46--49},
  publisher    = {{ISCA}},
  year         = {1998},
  timestamp    = {Mon, 09 Aug 2021 16:27:33 +0200},
  biburl       = {https://dblp.org/rec/conf/cata/KimHL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}