Paper Info
Title
LTL Store: Repository of LTL formulae from literature and case studies.
Abstract
This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.
Year
Venue
Field
2018
arXiv: Logic in Computer Science
Programming language,Algorithm,Mathematics,Technical report
DocType
Volume
Citations 
Journal
abs/1807.03296
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Jan Kretínský115916.02
Tobias Meggendorfer2153.90
Salomon Sickert3348.01