Cite
HARVARD Citation
Kan, S. et al. (2018). Partial Order Reduction for the full Class of State/Event Linear Temporal Logic. Computer journal. pp. 629-644. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Kan, S. et al. (2018). Partial Order Reduction for the full Class of State/Event Linear Temporal Logic. Computer journal. pp. 629-644. [Online].