5 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Xiaoxiao Yang
Propositional Projection Temporal Logic (PPTL) is a useful formalism for reasoning about period of time in hardware and software systems and can handle both sequential and parallel…