HatayamaHIH92'

BibTeX

@inproceedings{DBLP:conf/itc/HatayamaHIH92,
  author    = {Kazumi Hatayama and
               Kazunori Hikone and
               Mitsuji Ikeda and
               Terumine Hayashi},
  title     = {Sequential Test Generation Based on Real-Value Logic},
  booktitle = {ITC},
  year      = {1992},
  pages     = {41-48},
  crossref  = {DBLP:conf/itc/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/itc/1992,
  title     = {Proceedings IEEE International Test Conference 1992, Discover
               the New World of Test and Design, Baltimore, Maryland, USA,
               September 20-24, 1992},
  booktitle = {ITC},
  publisher = {IEEE Computer Society},
  year      = {1992},
  isbn      = {0-7803-0760-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}