An Automata-Theoretic Decision Procedure for Future Interval Logic. Ramakrishna, Y. S., Dillon, L. K., Moser, L. E., Melliar-Smith, P. M., & Kutty, G. In Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 51-67, 1992.
An Automata-Theoretic Decision Procedure for Future Interval Logic [link]Paper  bibtex   
@inproceedings{ dblp4126314,
  title = {An Automata-Theoretic Decision Procedure for Future Interval Logic},
  author = {Y. S. Ramakrishna and Laura K. Dillon and Louise E. Moser and P. M. Melliar-Smith and George Kutty},
  author_short = {Ramakrishna, Y. S. and Dillon, L. K. and Moser, L. E. and Melliar-Smith, P. M. and Kutty, G.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1992},
  key = {dblp4126314},
  id = {dblp4126314},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fsttcs/RamakrishnaDMMK92},
  url = {http://dx.doi.org/10.1007/3-540-56287-7_94},
  conference = {FSTTCS},
  pages = {51-67},
  text = {FSTTCS 1992:51-67},
  booktitle = {Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)}
}

Downloads: 0