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.

Export

Export

×

MLA

modern-language-association

APA

apa

Chicago

chicago-fullnote-bibliography

Harvard

harvard-cite-them-right

Vancouver

vancouver-author-date

---

RIS BibTex

Export

×

This document cannot be exported because it belongs to another portal.

Full text

lock_openFull text externo

DOI: 10.1016/J.JSS.2023.111730 GOOGLE SCHOLAR lock_openOpen access editor

Data source: Scopus