{"_id":"6CxaHb6R3h9WKFici","bibbaseid":"godhal-chatterjee-henzinger-synthesisofambaahbfromformalspecificationacasestudy-2013","author_short":["Godhal, Y.","Chatterjee, K.","Henzinger, T. A."],"bibdata":{"bibtype":"article","type":"article","title":"Synthesis of AMBA AHB from formal specification: a case study","volume":"15","doi":"10/c5xbtm","number":"5","journal":"International Journal on Software Tools for Technology Transfer","author":[{"propositions":[],"lastnames":["Godhal"],"firstnames":["Yashdeep"],"suffixes":[]},{"propositions":[],"lastnames":["Chatterjee"],"firstnames":["Krishnendu"],"suffixes":[]},{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A."],"suffixes":[]}],"year":"2013","pages":"585–601","bibtex":"@article{godhal_synthesis_2013,\n\ttitle = {Synthesis of {AMBA} {AHB} from formal specification: a case study},\n\tvolume = {15},\n\tdoi = {10/c5xbtm},\n\tnumber = {5},\n\tjournal = {International Journal on Software Tools for Technology Transfer},\n\tauthor = {Godhal, Yashdeep and Chatterjee, Krishnendu and Henzinger, Thomas A.},\n\tyear = {2013},\n\tpages = {585--601},\n}\n\n","author_short":["Godhal, Y.","Chatterjee, K.","Henzinger, T. A."],"key":"godhal_synthesis_2013","id":"godhal_synthesis_2013","bibbaseid":"godhal-chatterjee-henzinger-synthesisofambaahbfromformalspecificationacasestudy-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["synthesis","amba","ahb","formal","specification","case","study","godhal","chatterjee","henzinger"],"title":"Synthesis of AMBA AHB from formal specification: a case study","year":2013}