%0 Conference Paper %1 conf/date/GanaiGA05 %A Ganai, Malay K. %A Gupta, Aarti %A Ashar, Pranav %B DATE %D 2005 %I IEEE Computer Society %K dblp %P 1096-1101 %T Verification of Embedded Memory Systems using Efficient Memory Modeling. %U http://dblp.uni-trier.de/db/conf/date/date2005.html#GanaiGA05 %@ 0-7695-2288-2

@inproceedings{conf/date/GanaiGA05, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ganai, Malay K. and Gupta, Aarti and Ashar, Pranav}, biburl = {https://www.bibsonomy.org/bibtex/28110639cc11f8c1399a75a83726038fd/dblp}, booktitle = {DATE}, crossref = {conf/date/2005}, ee = {http://dl.acm.org/citation.cfm?id=1049281}, interhash = {a4125757d8fc9599befe6fd16b5d7256}, intrahash = {8110639cc11f8c1399a75a83726038fd}, isbn = {0-7695-2288-2}, keywords = {dblp}, pages = {1096-1101}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:52:06.000+0200}, title = {Verification of Embedded Memory Systems using Efficient Memory Modeling.}, url = {http://dblp.uni-trier.de/db/conf/date/date2005.html#GanaiGA05}, year = 2005 }