%0 Journal Article %1 journals/fmsd/ChatterjeeK12 %A Chatterjee, Satrajit %A Kishinevsky, Michael %D 2012 %J Formal Methods Syst. Des. %K dblp %N 2 %P 147-169 %T Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd40.html#ChatterjeeK12 %V 40

@article{journals/fmsd/ChatterjeeK12, added-at = {2020-03-13T00:00:00.000+0100}, author = {Chatterjee, Satrajit and Kishinevsky, Michael}, biburl = {https://www.bibsonomy.org/bibtex/25a280f6d3f00f12870e2b6c415268ed8/dblp}, ee = {https://doi.org/10.1007/s10703-011-0134-0}, interhash = {d0967fa3633c77bf2e9d945d8079e19f}, intrahash = {5a280f6d3f00f12870e2b6c415268ed8}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {147-169}, timestamp = {2020-03-14T11:51:53.000+0100}, title = {Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd40.html#ChatterjeeK12}, volume = 40, year = 2012 }