%0 Conference Paper %1 conf/rv/ReinbacherFB12 %A Reinbacher, Thomas %A Függer, Matthias %A Brauer, Jörg %B RV %D 2012 %E Qadeer, Shaz %E Tasiran, Serdar %I Springer %K dblp %P 110-125 %T Real-Time Runtime Verification on Chip. %U http://dblp.uni-trier.de/db/conf/rv/rv2012.html#ReinbacherFB12 %V 7687 %@ 978-3-642-35632-2

@inproceedings{conf/rv/ReinbacherFB12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Reinbacher, Thomas and Függer, Matthias and Brauer, Jörg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b1391850f207aed703687125093150b9/dblp}, booktitle = {RV}, crossref = {conf/rv/2012}, editor = {Qadeer, Shaz and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-642-35632-2_13}, interhash = {643765aaf9d120584b27ef67fe9b2a40}, intrahash = {b1391850f207aed703687125093150b9}, isbn = {978-3-642-35632-2}, keywords = {dblp}, pages = {110-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:01:48.000+0200}, title = {Real-Time Runtime Verification on Chip.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2012.html#ReinbacherFB12}, volume = 7687, year = 2012 }