BibTeX record conf/laptec/NakamatsuKS05

download as .bib file

@inproceedings{DBLP:conf/laptec/NakamatsuKS05,
  author       = {Kazumi Nakamatsu and
                  Kenji Kawasumi and
                  Atsuyuki Suzuki},
  editor       = {Kazumi Nakamatsu and
                  Jair Minoro Abe},
  title        = {Intelligent Safety Verification for Pipeline Based on {EVALPSN}},
  booktitle    = {Advances in Logic Based Intelligent Systems - Selected Papers of {LAPTEC}
                  2005, Himeji, Japan, April 2-4, 2005},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {132},
  pages        = {63--70},
  publisher    = {{IOS} Press},
  year         = {2005},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1042},
  timestamp    = {Tue, 13 Mar 2012 16:08:30 +0100},
  biburl       = {https://dblp.org/rec/conf/laptec/NakamatsuKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics