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
Any de publicació: 2023
Volum: 202
Tipus: Article