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.
Zeitschrift:
Journal of Systems and Software
ISSN: 0164-1212
Datum der Publikation: 2023
Ausgabe: 202
Art: Artikel