%0 Conference Paper %1 conf/dac/TodmanSL15 %A Todman, Tim %A Stilkerich, Stephan %A Luk, Wayne %B DAC %D 2015 %I ACM %K dblp %P 50:1-50:6 %T In-circuit temporal monitors for runtime verification of reconfigurable designs. %U http://dblp.uni-trier.de/db/conf/dac/dac2015.html#TodmanSL15 %@ 978-1-4503-3520-1

@inproceedings{conf/dac/TodmanSL15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Todman, Tim and Stilkerich, Stephan and Luk, Wayne}, biburl = {https://www.bibsonomy.org/bibtex/229fc5cc07df4e9563c6e569cae741f00/dblp}, booktitle = {DAC}, crossref = {conf/dac/2015}, ee = {https://doi.org/10.1145/2744769.2744856}, interhash = {99c6895d2276cf4bd03e593510336a55}, intrahash = {29fc5cc07df4e9563c6e569cae741f00}, isbn = {978-1-4503-3520-1}, keywords = {dblp}, pages = {50:1-50:6}, publisher = {ACM}, timestamp = {2018-11-07T15:14:15.000+0100}, title = {In-circuit temporal monitors for runtime verification of reconfigurable designs.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2015.html#TodmanSL15}, year = 2015 }