default search action
BibTeX record conf/cata/KimHL98
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.