%0 Thesis %1 phd/dnb/Friedberger21 %A Friedberger, Karlheinz %D 2021 %K dblp %T Efficient software model checking with block-abstraction memoization.

@phdthesis{phd/dnb/Friedberger21, added-at = {2022-07-05T00:00:00.000+0200}, author = {Friedberger, Karlheinz}, biburl = {https://www.bibsonomy.org/bibtex/211d9babe11f82d202f90aa50737bb64c/dblp}, ee = {https://d-nb.info/1260975320}, interhash = {027aa8d4f746df342688d6709e48423f}, intrahash = {11d9babe11f82d202f90aa50737bb64c}, keywords = {dblp}, school = {Ludwig Maximilian University of Munich, Germany}, timestamp = {2024-04-09T08:20:04.000+0200}, title = {Efficient software model checking with block-abstraction memoization.}, year = 2021 }