BibTeX record: conf/hase/MatsumotoTKWM02

download as .bib file

@inproceedings{DBLP:conf/hase/MatsumotoTKWM02,
  author    = {Masayuki Matsumoto and
               Tadao Tsurumaki and
               Satoru Kitamura and
               Dai Watanabe and
               Kinji Mori},
  title     = {Assurance Evaluation Technology of Train Control System for Achieving
               Expansion during Operation},
  booktitle = {7th {IEEE} International Symposium on High-Assurance Systems Engineering
               {(HASE} 2002), 23-25 October 2002, Tokyo, Japan},
  year      = {2002},
  pages     = {71--78},
  crossref  = {DBLP:conf/hase/2002},
  url       = {http://doi.ieeecomputersociety.org/10.1109/HASE.2002.1173105},
  doi       = {10.1109/HASE.2002.1173105},
  timestamp = {Tue, 21 Oct 2014 01:34:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hase/MatsumotoTKWM02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hase/2002,
  title     = {7th {IEEE} International Symposium on High-Assurance Systems Engineering
               {(HASE} 2002), 23-25 October 2002, Tokyo, Japan},
  year      = {2002},
  publisher = {{IEEE} Computer Society},
  isbn      = {0-7695-1769-2},
  timestamp = {Tue, 21 Oct 2014 01:34:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hase/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}