Verified Model Checking for Conjunctive Positive Logic

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

ISSN: 2661-8907,  2662-995X

Año de publicación: 2021

Volumen: 2

Número: 5

Tipo: Artículo

DOI: 10.1007/S42979-020-00417-3 GOOGLE SCHOLAR
Fuente de los datos: Scopus