default search action
BibTeX record conf/memocode/MahajanCBMQ07
@inproceedings{DBLP:conf/memocode/MahajanCBMQ07, author = {Yogesh S. Mahajan and Carven Chan and Ali Alphan Bayazit and Sharad Malik and Wei Qin}, title = {Verification Driven Formal Architecture and Microarchitecture Modeling}, booktitle = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice, France}, pages = {123--132}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/MEMCOD.2007.371235}, doi = {10.1109/MEMCOD.2007.371235}, timestamp = {Sat, 30 Sep 2023 09:52:31 +0200}, biburl = {https://dblp.org/rec/conf/memocode/MahajanCBMQ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.