BibTeX record conf/fcs/ChenCHCH09

download as .bib file

@inproceedings{DBLP:conf/fcs/ChenCHCH09,
  author       = {Yean{-}Ru Chen and
                  To{-}Yu Chen and
                  Pao{-}Ann Hsiung and
                  Sao{-}Jie Chen and
                  Yu Hen Hu},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Compositional Automata Reduction with Non-critical Path Slicing},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {133--138},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Wed, 08 Dec 2010 08:03:53 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChenCHCH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics