TY - CPAPER AU - Todman,T AU - Stilkerich,S AU - Luk,W DO - 10.1145/2744769.2744856 PB - IEEE COMPUTER SOC PY - 2015/// SN - 0738-100X TI - In-circuit temporal monitors for runtime verification of reconfigurable designs UR - http://dx.doi.org/10.1145/2744769.2744856 UR - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000370268400051&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb ER -