%0 Conference Paper %1 conf/iscas/HassenCJ16 %A Hassen, Amad Ul %A Chandrasekar, Brigadesh %A Jha, Sumit Kumar %B ISCAS %D 2016 %I IEEE %K dblp %P 1678-1681 %T Automated synthesis of stochastic computational elements using decision procedures. %U http://dblp.uni-trier.de/db/conf/iscas/iscas2016.html#HassenCJ16 %@ 978-1-4799-5341-7

@inproceedings{conf/iscas/HassenCJ16, added-at = {2020-06-15T00:00:00.000+0200}, author = {Hassen, Amad Ul and Chandrasekar, Brigadesh and Jha, Sumit Kumar}, biburl = {https://www.bibsonomy.org/bibtex/2416ddf3f77b7a80fdea8b907d7cf25db/dblp}, booktitle = {ISCAS}, crossref = {conf/iscas/2016}, ee = {https://doi.org/10.1109/ISCAS.2016.7538890}, interhash = {43e3dd526b4eae2f774d2e662de34568}, intrahash = {416ddf3f77b7a80fdea8b907d7cf25db}, isbn = {978-1-4799-5341-7}, keywords = {dblp}, pages = {1678-1681}, publisher = {IEEE}, timestamp = {2020-06-16T12:39:24.000+0200}, title = {Automated synthesis of stochastic computational elements using decision procedures.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2016.html#HassenCJ16}, year = 2016 }