%0 Conference Paper %1 conf/fmcad/KalimPMMGM19 %A Kalim, Faria %A Palmskog, Karl %A Mehar, Jayasi %A Murali, Adithya %A Gupta, Indranil %A Madhusudan, P. %B FMCAD %D 2019 %E Barrett, Clark W. %E Yang, Jin %I IEEE %K dblp %P 96-104 %T Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2019.html#KalimPMMGM19 %@ 978-0-9835678-9-9

@inproceedings{conf/fmcad/KalimPMMGM19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Kalim, Faria and Palmskog, Karl and Mehar, Jayasi and Murali, Adithya and Gupta, Indranil and Madhusudan, P.}, biburl = {https://www.bibsonomy.org/bibtex/22f1319239d87876879c1d8b3c515112f/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2019}, editor = {Barrett, Clark W. and Yang, Jin}, ee = {https://doi.org/10.23919/FMCAD.2019.8894248}, interhash = {63f8aaec0728443401b20ed4bb5e98ed}, intrahash = {2f1319239d87876879c1d8b3c515112f}, isbn = {978-0-9835678-9-9}, keywords = {dblp}, pages = {96-104}, publisher = {IEEE}, timestamp = {2024-04-10T16:54:36.000+0200}, title = {Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2019.html#KalimPMMGM19}, year = 2019 }