Optimal dynamic partial order reduction with context-sensitive independence and observers

  1. Albert, E.
  2. de la Banda, M.G.
  3. Gómez-Zamalloa, M.
  4. Isabel, M.
  5. Stuckey, P.
Aldizkaria:
Journal of Systems and Software

ISSN: 0164-1212

Argitalpen urtea: 2023

Alea: 202

Mota: Artikulua

DOI: 10.1016/J.JSS.2023.111730 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus