Old Web
English
Sign In
Acemap
>
Paper
>
Partial Order Reduction for the full Class of State/Event Linear Temporal Logic
Partial Order Reduction for the full Class of State/Event Linear Temporal Logic
2018
Shuanglong Kan
Zhiqiu Huang
Keywords:
Partial order reduction
Theoretical computer science
Computer science
Linear temporal logic
Discrete mathematics
Algorithm
Correction
Source
Cite
Save
Machine Reading By IdeaReader
14
References
0
Citations
NaN
KQI
[]