Title
Verified Model Checking for Conjunctive Positive Logic.
Year
DOI
Venue
2021
10.1007/s42979-020-00417-3
SN Comput. Sci.
DocType
Volume
Issue
Journal
2
5
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Alex Abuin101.01
Unai Díaz-de-Cerio241.43
Montserrat Hermo35510.77
Paqui Lucio400.68