TomitaTI94'

BibTeX

@inproceedings{DBLP:conf/birthday/TomitaTI94,
  author    = {Kohji Tomita and
               Takashi Tsuji and
               Shigeru Igarashi},
  title     = {Analysis of a Software/Hardware System by Tense Arithmetic},
  booktitle = {Logic, Language and Computation},
  year      = {1994},
  pages     = {188-205},
  crossref  = {DBLP:conf/birthday/1994takasu},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/1994takasu,
  editor    = {Neil D. Jones and
               Masami Hagiya and
               Masahiko Sato},
  title     = {Logic, Language and Computation, Festschrift in Honor of
               Satoru Takasu},
  booktitle = {Logic, Language and Computation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {792},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}