@inproceedings{conf/ictai/PerrajuUP94,
  added-at = {2019-02-12T00:00:00.000+0100},
  author = {Perraju, Tolety Siva and Uma, Garimella and Prasad, Bandreddi E.},
  biburl = {https://www.bibsonomy.org/bibtex/2a29baa98ef4bb24ac9724b11d7408015/dblp},
  booktitle = {ICTAI},
  crossref = {conf/ictai/1994},
  ee = {http://doi.ieeecomputersociety.org/10.1109/TAI.1994.346433},
  interhash = {d9286a7cd94ff0e9b743b29e2f32b20b},
  intrahash = {a29baa98ef4bb24ac9724b11d7408015},
  isbn = {0-8186-6785-0},
  keywords = {dblp},
  pages = {647-653},
  publisher = {IEEE Computer Society},
  timestamp = {2019-02-13T11:39:52.000+0100},
  title = {A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems.},
  url = {http://dblp.uni-trier.de/db/conf/ictai/ictai1994.html#PerrajuUP94},
  year = 1994
}

{"_id":"fmWCZYgE9tS3WgEdS","bibbaseid":"perraju-uma-prasad-aschemeforknowledgerepresentationverificationandreasoninginrealtimeasynchronousproductionsystems-1994","author_short":["Perraju, T. S.","Uma, G.","Prasad, B. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-02-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Perraju"],"firstnames":["Tolety","Siva"],"suffixes":[]},{"propositions":[],"lastnames":["Uma"],"firstnames":["Garimella"],"suffixes":[]},{"propositions":[],"lastnames":["Prasad"],"firstnames":["Bandreddi","E."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a29baa98ef4bb24ac9724b11d7408015/dblp","booktitle":"ICTAI","crossref":"conf/ictai/1994","ee":"http://doi.ieeecomputersociety.org/10.1109/TAI.1994.346433","interhash":"d9286a7cd94ff0e9b743b29e2f32b20b","intrahash":"a29baa98ef4bb24ac9724b11d7408015","isbn":"0-8186-6785-0","keywords":"dblp","pages":"647-653","publisher":"IEEE Computer Society","timestamp":"2019-02-13T11:39:52.000+0100","title":"A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems.","url":"http://dblp.uni-trier.de/db/conf/ictai/ictai1994.html#PerrajuUP94","year":"1994","bibtex":"@inproceedings{conf/ictai/PerrajuUP94,\n added-at = {2019-02-12T00:00:00.000+0100},\n author = {Perraju, Tolety Siva and Uma, Garimella and Prasad, Bandreddi E.},\n biburl = {https://www.bibsonomy.org/bibtex/2a29baa98ef4bb24ac9724b11d7408015/dblp},\n booktitle = {ICTAI},\n crossref = {conf/ictai/1994},\n ee = {http://doi.ieeecomputersociety.org/10.1109/TAI.1994.346433},\n interhash = {d9286a7cd94ff0e9b743b29e2f32b20b},\n intrahash = {a29baa98ef4bb24ac9724b11d7408015},\n isbn = {0-8186-6785-0},\n keywords = {dblp},\n pages = {647-653},\n publisher = {IEEE Computer Society},\n timestamp = {2019-02-13T11:39:52.000+0100},\n title = {A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems.},\n url = {http://dblp.uni-trier.de/db/conf/ictai/ictai1994.html#PerrajuUP94},\n year = 1994\n}\n\n","author_short":["Perraju, T. S.","Uma, G.","Prasad, B. E."],"key":"conf/ictai/PerrajuUP94","id":"conf/ictai/PerrajuUP94","bibbaseid":"perraju-uma-prasad-aschemeforknowledgerepresentationverificationandreasoninginrealtimeasynchronousproductionsystems-1994","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/TAI.1994.346433","Paper":"http://dblp.uni-trier.de/db/conf/ictai/ictai1994.html#PerrajuUP94"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/garimella?items=1000","dataSources":["oMXXMcXsZTdyve2K2"],"keywords":["dblp"],"search_terms":["scheme","knowledge","representation","verification","reasoning","real","time","asynchronous","production","systems","perraju","uma","prasad"],"title":"A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems.","year":1994}