%0 Journal Article %1 journals/jss/AlbertBGIS23 %A Albert, Elvira %A de la Banda, Maria Garcia %A Gómez-Zamalloa, Miguel %A Isabel, Miguel %A Stuckey, Peter J. %D 2023 %J J. Syst. Softw. %K dblp %P 111730 %T Optimal dynamic partial order reduction with context-sensitive independence and observers. %U http://dblp.uni-trier.de/db/journals/jss/jss202.html#AlbertBGIS23 %V 202

@article{journals/jss/AlbertBGIS23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Albert, Elvira and de la Banda, Maria Garcia and Gómez-Zamalloa, Miguel and Isabel, Miguel and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/20309676522c4d032807cc39fa741ec10/dblp}, ee = {https://doi.org/10.1016/j.jss.2023.111730}, interhash = {a26664bbe7613f885cef1d0207257450}, intrahash = {0309676522c4d032807cc39fa741ec10}, journal = {J. Syst. Softw.}, keywords = {dblp}, month = {August}, pages = 111730, timestamp = {2024-05-13T07:49:45.000+0200}, title = {Optimal dynamic partial order reduction with context-sensitive independence and observers.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss202.html#AlbertBGIS23}, volume = 202, year = 2023 }