Synthesis of AMBA AHB from formal specification: a case study (bibtex)
by Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger
Reference:
Synthesis of AMBA AHB from formal specification: a case studyYashdeep Godhal, Krishnendu Chatterjee, Thomas A. HenzingerSTTT, volume 15, number 5-6, pages 585-601, 2013.
Bibtex Entry:
@article{GodhalCH13,
title = {Synthesis of AMBA AHB from formal specification: a case study},
ee = {http://dx.doi.org/10.1007/s10009-011-0207-9},
journal = {STTT},
author = {Yashdeep Godhal and Krishnendu Chatterjee and Thomas A. Henzinger},
number = {5-6},
volume = {15},
url = {/pubpdf/Synthesis_of_AMBA_AHB_from_formal_specification__a_case_study.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {585-601},
}
Powered by bibtexbrowser