Optimal dynamic partial order reduction with context-sensitive independence and observers
- Albert, E.
- de la Banda, M.G.
- Gómez-Zamalloa, M.
- Isabel, M.
- Stuckey, P.
Revista:
Journal of Systems and Software
ISSN: 0164-1212
Año de publicación: 2023
Volumen: 202
Tipo: Artículo