vix.ing · top · new · best · stats · spec

Samuel Huang

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