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.
Revue:
Journal of Systems and Software
ISSN: 0164-1212
Année de publication: 2023
Volumen: 202
Type: Article