%0 Journal Article %1 journals/scp/EvangelistaK13 %A Evangelista, Sami %A Kristensen, Lars Michael %D 2013 %J Sci. Comput. Program. %K dblp %N 7 %P 778-795 %T Dynamic state space partitioning for external memory state space exploration. %U http://dblp.uni-trier.de/db/journals/scp/scp78.html#EvangelistaK13 %V 78

@article{journals/scp/EvangelistaK13, added-at = {2021-02-17T00:00:00.000+0100}, author = {Evangelista, Sami and Kristensen, Lars Michael}, biburl = {https://www.bibsonomy.org/bibtex/274dadc9dc2e2ff8907f83e3a938acd7b/dblp}, ee = {https://doi.org/10.1016/j.scico.2011.09.005}, interhash = {96b0547b9658f4cfa2aa38ac363d0f2e}, intrahash = {74dadc9dc2e2ff8907f83e3a938acd7b}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 7, pages = {778-795}, timestamp = {2024-04-09T05:27:31.000+0200}, title = {Dynamic state space partitioning for external memory state space exploration.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp78.html#EvangelistaK13}, volume = 78, year = 2013 }