Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way

  1. Do, C.M.
  2. Phyo, Y.
  3. Riesco, A.
  4. Ogata, K.
Revista:
ACM Transactions on Software Engineering and Methodology

ISSN: 1557-7392,  1049-331X

Año de publicación: 2023

Volumen: 32

Número: 6

Tipo: Artículo

DOI: 10.1145/3604610 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus