%0 Conference Paper %1 conf/forte/KimHPLL98 %A Kim, Tae-Hyong %A Hwang, Ik-Soon %A Park, Chan-Min %A Lee, Jai-Yong %A Lee, Sang-Bae %B FORTE %D 1998 %E Budkowski, Stanislaw %E Cavalli, Ana R. %E Najm, Elie %I Kluwer %K dblp %P 127-140 %T Automatic Test Case Generation of Real Protocols: Framework and Methodology. %U http://dblp.uni-trier.de/db/conf/forte/forte1998.html#KimHPLL98 %V 135 %@ 0-412-84760-4

@inproceedings{conf/forte/KimHPLL98, added-at = {2002-01-03T00:00:00.000+0100}, author = {Kim, Tae-Hyong and Hwang, Ik-Soon and Park, Chan-Min and Lee, Jai-Yong and Lee, Sang-Bae}, biburl = {https://www.bibsonomy.org/bibtex/2ba15cfa164097b26e44f67475c5e6145/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1998}, date = {2002-01-03}, description = {dblp}, editor = {Budkowski, Stanislaw and Cavalli, Ana R. and Najm, Elie}, interhash = {311dd55e4ed6b233c419222c2314d81b}, intrahash = {ba15cfa164097b26e44f67475c5e6145}, isbn = {0-412-84760-4}, keywords = {dblp}, pages = {127-140}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Automatic Test Case Generation of Real Protocols: Framework and Methodology.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1998.html#KimHPLL98}, volume = 135, year = 1998 }