@inproceedings{DBLP:conf/bibe/ItoIHY10,
  author    = {Sohei Ito and
               Naoko Izumi and
               Shigeki Hagihara and
               Naoki Yonezaki},
  title     = {Qualitative Analysis of Gene Regulatory Networks by Satisfiability
               Checking of Linear Temporal Logic},
  booktitle = {BIBE},
  year      = {2010},
  pages     = {232-237},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/BIBE.2010.45},
  crossref  = {DBLP:conf/bibe/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/bibe/2010,
  title     = {10th IEEE International Conference on Bioinformatics and
               Bioengineering, BIBE 2010, Philadelphia, Pennsylvania, USA,
               May 31-June 3 2010},
  booktitle = {BIBE},
  publisher = {IEEE Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4083-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}