Paper Info
Title
One-Pass Context-Based Tableaux Systems for CTL and ECTL.
Year
DOI
Venue
2020
10.4230/LIPIcs.TIME.2020.14
TIME
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Alex Abuin101.01
Alexander Bolotov211714.42
Montserrat Hermo35510.77
Paqui Lucio410219.66