Runtime Verification with Multi-valued Formula Rewriting.

Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu

Browse the full TASE paper archive.