Title
More Expressive Temporal Logic for Specifications
Year
Venue
Keywords
1993
SEKE
temporal logic
Field
DocType
Citations 
Computation tree logic,Data mining,Temporal logic of actions,Interval temporal logic,Computer science,Multimodal logic,Description logic,Theoretical computer science,Linear temporal logic,Temporal logic
Conference
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Noriaki Yoshiura1157.85
Naoki Yonezaki210720.02