Title
Towards Certified Model Checking for PLTL Using One-Pass Tableaux.
Year
DOI
Venue
2019
10.4230/LIPIcs.TIME.2019.12
TIME
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Alex Abuin101.01
Alexander Bolotov211714.42
Unai Díaz-de-Cerio341.43
Montserrat Hermo45510.77
Paqui Lucio500.68