BibTeX record conf/icess/LiuXZLL07

download as .bib file

@inproceedings{DBLP:conf/icess/LiuXZLL07,
  author       = {Dong Liu and
                  Weiyan Xing and
                  Chunyuan Zhang and
                  Rui Li and
                  Haiyan Li},
  editor       = {Yann{-}Hang Lee and
                  Heung{-}Nam Kim and
                  Jong Kim and
                  Yongwan Park and
                  Laurence Tianruo Yang and
                  Sung Won Kim},
  title        = {Cut Sequence Set Generation for Fault Tree Analysis},
  booktitle    = {Embedded Software and Systems, [Third] International Conference, {ICESS}
                  2007, Daegu, Korea, May 14-16, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4523},
  pages        = {592--603},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72685-2\_55},
  doi          = {10.1007/978-3-540-72685-2\_55},
  timestamp    = {Wed, 13 Oct 2021 12:25:38 +0200},
  biburl       = {https://dblp.org/rec/conf/icess/LiuXZLL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics