Partial Order Reduction for the full Class of State/Event Linear Temporal Logic
Kan, Shuanglong, Huang, ZhiqiuLanguage:
english
Journal:
The Computer Journal
DOI:
10.1093/comjnl/bxx064
Date:
July, 2017
File:
PDF, 1000 KB
english, 2017