@inproceedings{DBLP:conf/ftcs/LakshminarayanaRJ96,
  author    = {Ganesh Lakshminarayana and
               Anand Raghunathan and
               Niraj K. Jha},
  title     = {Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing
               Probability Analysis},
  booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
               on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages     = {336--345},
  year      = {1996},
  crossref  = {DBLP:conf/ftcs/1996},
  url       = {https://doi.org/10.1109/FTCS.1996.534618},
  doi       = {10.1109/FTCS.1996.534618},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftcs/LakshminarayanaRJ96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"9Bi5aowchYPMytNP8","bibbaseid":"lakshminarayana-raghunathan-jha-behavioralsynthesisoffaultsecurecontrollerdatapathsusingaliasingprobabilityanalysis-1996","downloads":0,"creationDate":"2018-06-20T07:11:31.809Z","title":"Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis","author_short":["Lakshminarayana, G.","Raghunathan, A.","Jha, N. K."],"year":1996,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/74/3747.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ganesh"],"propositions":[],"lastnames":["Lakshminarayana"],"suffixes":[]},{"firstnames":["Anand"],"propositions":[],"lastnames":["Raghunathan"],"suffixes":[]},{"firstnames":["Niraj","K."],"propositions":[],"lastnames":["Jha"],"suffixes":[]}],"title":"Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis","booktitle":"Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996","pages":"336–345","year":"1996","crossref":"DBLP:conf/ftcs/1996","url":"https://doi.org/10.1109/FTCS.1996.534618","doi":"10.1109/FTCS.1996.534618","timestamp":"Tue, 23 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/ftcs/LakshminarayanaRJ96","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ftcs/LakshminarayanaRJ96,\n author = {Ganesh Lakshminarayana and\n Anand Raghunathan and\n Niraj K. Jha},\n title = {Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing\n Probability Analysis},\n booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium\n on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},\n pages = {336--345},\n year = {1996},\n crossref = {DBLP:conf/ftcs/1996},\n url = {https://doi.org/10.1109/FTCS.1996.534618},\n doi = {10.1109/FTCS.1996.534618},\n timestamp = {Tue, 23 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/ftcs/LakshminarayanaRJ96},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lakshminarayana, G.","Raghunathan, A.","Jha, N. K."],"key":"DBLP:conf/ftcs/LakshminarayanaRJ96","id":"DBLP:conf/ftcs/LakshminarayanaRJ96","bibbaseid":"lakshminarayana-raghunathan-jha-behavioralsynthesisoffaultsecurecontrollerdatapathsusingaliasingprobabilityanalysis-1996","role":"author","urls":{"Paper":"https://doi.org/10.1109/FTCS.1996.534618"},"downloads":0},"search_terms":["behavioral","synthesis","fault","secure","controller","datapaths","using","aliasing","probability","analysis","lakshminarayana","raghunathan","jha"],"keywords":[],"authorIDs":[],"dataSources":["QATSsZPCAGgNRpLA3"]}