ChenCHCH09'

BibTeX

@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},
  title     = {Compositional Automata Reduction with Non-critical Path
               Slicing},
  booktitle = {FCS},
  year      = {2009},
  pages     = {133-138},
  crossref  = {DBLP:conf/fcs/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fcs/2009,
  editor    = {Hamid R. Arabnia and
               George A. Gravvanis},
  title     = {Proceedings of the 2009 International Conference on Foundations
               of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas
               Nevada, USA},
  booktitle = {FCS},
  publisher = {CSREA Press},
  year      = {2009},
  isbn      = {1-60132-103-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}