@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)}
}

{"_id":"bDxC688XMqyjbN6Rj","bibbaseid":"ramakrishna-dillon-moser-melliarsmith-kutty-anautomatatheoreticdecisionprocedureforfutureintervallogic-1992","downloads":0,"creationDate":"2014-12-14T05:18:58.922Z","title":"An Automata-Theoretic Decision Procedure for Future Interval Logic","author_short":["Ramakrishna, Y. S.","Dillon, L. K.","Moser, L. E.","Melliar-Smith, P. M.","Kutty, G."],"year":1992,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fsttcs/RamakrishnaDMMK92","bibdata":{"title":"An Automata-Theoretic Decision Procedure for Future Interval Logic","author":["Y. S. Ramakrishna","Laura K. Dillon","Louise E. Moser","P. M. Melliar-Smith","George Kutty"],"author_short":["Ramakrishna, Y. S.","Dillon, L. K.","Moser, L. E.","Melliar-Smith, P. M.","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)","bibtex":"@inproceedings{ dblp4126314,\n title = {An Automata-Theoretic Decision Procedure for Future Interval Logic},\n author = {Y. S. Ramakrishna and Laura K. Dillon and Louise E. Moser and P. M. Melliar-Smith and George Kutty},\n author_short = {Ramakrishna, Y. S. and Dillon, L. K. and Moser, L. E. and Melliar-Smith, P. M. and Kutty, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1992},\n key = {dblp4126314},\n id = {dblp4126314},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fsttcs/RamakrishnaDMMK92},\n url = {http://dx.doi.org/10.1007/3-540-56287-7_94},\n conference = {FSTTCS},\n pages = {51-67},\n text = {FSTTCS 1992:51-67},\n booktitle = {Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)}\n}","bibbaseid":"ramakrishna-dillon-moser-melliarsmith-kutty-anautomatatheoreticdecisionprocedureforfutureintervallogic-1992","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-56287-7_94"},"downloads":0},"search_terms":["automata","theoretic","decision","procedure","future","interval","logic","ramakrishna","dillon","moser","melliar-smith","kutty"],"keywords":[],"authorIDs":[],"dataSources":["JNupWc2jofqRd4MFP"]}