##article.return##
Automata-less Monitoring via Trace-Checking (Extended Version)
Download
Download PDF