Keyword:Linear Temporal Logic (LTL)

Papers
EnPAC: Petri Net Model Checking for Linear Temporal Logic Zhijun Ding, Cong He and Shuo Li EasyChair Preprint no. 11276