@article{ dblp4126543,
  title = {An automata-theoretic decision procedure for propositional temporal logic with since and until},
  author = {Y. S. Ramakrishna and Louise E. Moser and Laura K. Dillon and P. M. Melliar-Smith and George Kutty},
  author_short = {Ramakrishna, Y. S. and Moser, L. E. and Dillon, L. K. and Melliar-Smith, P. M. and Kutty, G.},
  bibtype = {article},
  type = {article},
  year = {1992},
  key = {dblp4126543},
  id = {dblp4126543},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fuin/RamakrishnaMDMK92},
  url = {},
  journal = {Fundam. Inform. (FUIN)},
  pages = {271-282},
  number = {3},
  volume = {17},
  text = {Fundam. Inform. (FUIN) 17(3):271-282 (1992)}
}

{"_id":"8JxsSrf4akGHYMxK5","bibbaseid":"ramakrishna-moser-dillon-melliarsmith-kutty-anautomatatheoreticdecisionprocedureforpropositionaltemporallogicwithsinceanduntil-1992","downloads":0,"creationDate":"2014-12-14T05:18:58.924Z","title":"An automata-theoretic decision procedure for propositional temporal logic with since and until","author_short":["Ramakrishna, Y. S.","Moser, L. E.","Dillon, L. K.","Melliar-Smith, P. M.","Kutty, G."],"year":1992,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fuin/RamakrishnaMDMK92","bibdata":{"title":"An automata-theoretic decision procedure for propositional temporal logic with since and until","author":["Y. S. Ramakrishna","Louise E. Moser","Laura K. Dillon","P. M. Melliar-Smith","George Kutty"],"author_short":["Ramakrishna, Y. S.","Moser, L. E.","Dillon, L. K.","Melliar-Smith, P. M.","Kutty, G."],"bibtype":"article","type":"article","year":"1992","key":"dblp4126543","id":"dblp4126543","biburl":"http://www.dblp.org/rec/bibtex/journals/fuin/RamakrishnaMDMK92","url":"","journal":"Fundam. Inform. (FUIN)","pages":"271-282","number":"3","volume":"17","text":"Fundam. Inform. (FUIN) 17(3):271-282 (1992)","bibtex":"@article{ dblp4126543,\n title = {An automata-theoretic decision procedure for propositional temporal logic with since and until},\n author = {Y. S. Ramakrishna and Louise E. Moser and Laura K. Dillon and P. M. Melliar-Smith and George Kutty},\n author_short = {Ramakrishna, Y. S. and Moser, L. E. and Dillon, L. K. and Melliar-Smith, P. M. and Kutty, G.},\n bibtype = {article},\n type = {article},\n year = {1992},\n key = {dblp4126543},\n id = {dblp4126543},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fuin/RamakrishnaMDMK92},\n url = {},\n journal = {Fundam. Inform. (FUIN)},\n pages = {271-282},\n number = {3},\n volume = {17},\n text = {Fundam. Inform. (FUIN) 17(3):271-282 (1992)}\n}","bibbaseid":"ramakrishna-moser-dillon-melliarsmith-kutty-anautomatatheoreticdecisionprocedureforpropositionaltemporallogicwithsinceanduntil-1992","role":"author","urls":{},"downloads":0},"search_terms":["automata","theoretic","decision","procedure","propositional","temporal","logic","until","ramakrishna","moser","dillon","melliar-smith","kutty"],"keywords":[],"authorIDs":[],"dataSources":["m72wp3s99b3RdiyLB"]}