DBLP Record 'conf/ats/Hiraishi00'

BibTeX

@inproceedings{DBLP:conf/ats/Hiraishi00,
  author    = {Hiromi Hiraishi},
  title     = {Verification of deadlock free property of high level robot
               control},
  booktitle = {Asian Test Symposium},
  year      = {2000},
  pages     = {198-203},
  ee        = {http://csdl.computer.org/comp/proceedings/ats/2000/0887/00/08870198abs.htm},
  crossref  = {DBLP:conf/ats/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ats/2000,
  title     = {9th Asian Test Symposium (ATS 2000), 4-6 December 2000,
               Taipei, Taiwan},
  booktitle = {Asian Test Symposium},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0887-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}