%0 Conference Paper %1 conf/codes/AhnMG15 %A Ahn, Sunha %A Malik, Sharad %A Gupta, Aarti %B CODES+ISSS %D 2015 %E Nicolescu, Gabriela %E Gerstlauer, Andreas %I IEEE %K dblp %P 202-211 %T Completeness bounds and sequentialization for model checking of interacting firmware and hardware. %U http://dblp.uni-trier.de/db/conf/codes/codes2015.html#AhnMG15 %@ 978-1-4673-8321-9

@inproceedings{conf/codes/AhnMG15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ahn, Sunha and Malik, Sharad and Gupta, Aarti}, biburl = {https://www.bibsonomy.org/bibtex/279c21c055603872a9491589766f895ef/dblp}, booktitle = {CODES+ISSS}, crossref = {conf/codes/2015}, editor = {Nicolescu, Gabriela and Gerstlauer, Andreas}, ee = {http://dl.acm.org/citation.cfm?id=2830862}, interhash = {d4bbc2a0fa44742efc2a8b9eaa9c7744}, intrahash = {79c21c055603872a9491589766f895ef}, isbn = {978-1-4673-8321-9}, keywords = {dblp}, pages = {202-211}, publisher = {IEEE}, timestamp = {2024-04-10T07:10:52.000+0200}, title = {Completeness bounds and sequentialization for model checking of interacting firmware and hardware.}, url = {http://dblp.uni-trier.de/db/conf/codes/codes2015.html#AhnMG15}, year = 2015 }