LTL Store: Repository of LTL formulae from literature and case studies
نشر في Jan K\\v{r}et\\'insk\\'y
بتاريخ 2018
في مجال الهندسة المعلوماتية
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.