%0 Conference Paper %1 conf/fmcad/FinkbeinerR16 %A Finkbeiner, Bernd %A Rabe, Markus N. %B FMCAD %D 2016 %E Piskac, Ruzica %E Talupur, Muralidhar %I IEEE %K dblp %P 5 %T Verifying hyperproperties of hardware systems. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#FinkbeinerR16 %@ 978-0-9835678-6-8

@inproceedings{conf/fmcad/FinkbeinerR16, added-at = {2017-03-31T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Rabe, Markus N.}, biburl = {https://www.bibsonomy.org/bibtex/2b3498dac6abcd8a6c3e1a9222dceec45/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2016}, editor = {Piskac, Ruzica and Talupur, Muralidhar}, ee = {http://dx.doi.org/10.1109/FMCAD.2016.7886651}, interhash = {84c11e599e9cebdcc4679fe131a6e16d}, intrahash = {b3498dac6abcd8a6c3e1a9222dceec45}, isbn = {978-0-9835678-6-8}, keywords = {dblp}, pages = 5, publisher = {IEEE}, timestamp = {2017-04-01T11:35:34.000+0200}, title = {Verifying hyperproperties of hardware systems.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#FinkbeinerR16}, year = 2016 }