%0 Conference Paper %1 conf/iccd/TripathySSP19 %A Tripathy, Shivani %A Sahoo, Debiprasanna %A Satpathy, Manoranjan %A Pinisetty, Srinivas %B ICCD %D 2019 %I IEEE %K dblp %P 313-316 %T Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2019.html#TripathySSP19 %@ 978-1-5386-6648-7

@inproceedings{conf/iccd/TripathySSP19, added-at = {2020-02-18T00:00:00.000+0100}, author = {Tripathy, Shivani and Sahoo, Debiprasanna and Satpathy, Manoranjan and Pinisetty, Srinivas}, biburl = {https://www.bibsonomy.org/bibtex/2f612c7c19095221a3b1c3d720340ab54/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2019}, ee = {https://doi.org/10.1109/ICCD46524.2019.00048}, interhash = {6485c592a1a5342ea3ade23b50d3769d}, intrahash = {f612c7c19095221a3b1c3d720340ab54}, isbn = {978-1-5386-6648-7}, keywords = {dblp}, pages = {313-316}, publisher = {IEEE}, timestamp = {2020-02-19T12:01:24.000+0100}, title = {Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2019.html#TripathySSP19}, year = 2019 }