DMCA

Efficient runtime monitoring with metric temporal logic: A case study in the Android operating system (2013)

Cached

Download Links

by Hendra Gunadi , Alwen Tiu
Venue:CoRR
Citations:1 - 0 self