Verified Model Checking for Conjunctive Positive Logic

  1. Abuin, A.
  2. de Cerio, U.D.
  3. Hermo, M.
  4. Lucio, P.
Journal:
SN Computer Science

ISSN: 2661-8907 2662-995X

Year of publication: 2021

Volume: 2

Issue: 5

Type: Article

DOI: 10.1007/S42979-020-00417-3 GOOGLE SCHOLAR