Cleaveland, Rance
- Temporal-Logic Query Checking over Finite Data Streams
2020/06/06 by Huang, Samuel, Cleaveland, Rance · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)