HiratsukaF02'

BibTeX

@inproceedings{DBLP:conf/ieaaie/HiratsukaF02,
  author    = {Satoshi Hiratsuka and
               Akira Fusaoka},
  title     = {On a Model-Based Design Verificationfor Combinatorial Boolean
               Networks},
  booktitle = {IEA/AIE},
  year      = {2002},
  pages     = {758-767},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2358/23580758.htm},
  crossref  = {DBLP:conf/ieaaie/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ieaaie/2002,
  editor    = {Tim Hendtlass and
               Moonis Ali},
  title     = {Developments in Applied Artificial Intelligence, 15th International
               Conference on Industrial and Engineering, Applications of
               Artificial Intelligence and Expert Systems, IEA/AIE 2002,
               Cairns, Australia, June 17-20, 2002, Proceedings},
  booktitle = {IEA/AIE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2358},
  year      = {2002},
  isbn      = {3-540-43781-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}