%0 Conference Paper %1 conf/safecomp/MinJCKB99 %A Min, Sang-Yoon %A Jan, Yoon-Kyu %A Cha, Sung Deok %A Kwon, Yong Rae %A Bae, Doo-Hwan %B SAFECOMP %D 1999 %E Felici, Massimo %E Kanoun, Karama %E Pasquini, Alberto %I Springer %K dblp %P 226-238 %T Safety Verification of Ada95 Programs Using Software Fault Trees. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp99.html#MinJCKB99 %V 1698 %@ 3-540-66488-2

@inproceedings{conf/safecomp/MinJCKB99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Min, Sang-Yoon and Jan, Yoon-Kyu and Cha, Sung Deok and Kwon, Yong Rae and Bae, Doo-Hwan}, biburl = {https://www.bibsonomy.org/bibtex/2dc0d7db55760a5796b1db0c95b63680f/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/1999}, editor = {Felici, Massimo and Kanoun, Karama and Pasquini, Alberto}, ee = {https://doi.org/10.1007/3-540-48249-0_20}, interhash = {fea21b70c03ed309da56c71ad5eae9b2}, intrahash = {dc0d7db55760a5796b1db0c95b63680f}, isbn = {3-540-66488-2}, keywords = {dblp}, pages = {226-238}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:35:18.000+0200}, title = {Safety Verification of Ada95 Programs Using Software Fault Trees.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp99.html#MinJCKB99}, volume = 1698, year = 1999 }