%0 Conference Paper %1 conf/cata/KimHL98 %A Kim, Tae-Yeon %A Hong, Sung-Back %A Lee, Yong-Kyun %B CATA %D 1998 %E Debnath, Narayan C. %I ISCA %K dblp %P 46-49 %T A formal specification method for building real-time distributed software. %U http://dblp.uni-trier.de/db/conf/cata/cata1998.html#KimHL98 %@ 1-880843-23-4

@inproceedings{conf/cata/KimHL98, added-at = {2021-08-09T00:00:00.000+0200}, author = {Kim, Tae-Yeon and Hong, Sung-Back and Lee, Yong-Kyun}, biburl = {https://www.bibsonomy.org/bibtex/2b4909ba1d0c0ffe8a3dc890be69df0b3/dblp}, booktitle = {CATA}, crossref = {conf/cata/1998}, editor = {Debnath, Narayan C.}, interhash = {d1a5d0864f86b651f85ceca78fb068d0}, intrahash = {b4909ba1d0c0ffe8a3dc890be69df0b3}, isbn = {1-880843-23-4}, keywords = {dblp}, pages = {46-49}, publisher = {ISCA}, timestamp = {2024-04-09T14:08:20.000+0200}, title = {A formal specification method for building real-time distributed software.}, url = {http://dblp.uni-trier.de/db/conf/cata/cata1998.html#KimHL98}, year = 1998 }