%0 Thesis %1 phd/dnb/Greitschus18 %A Greitschus, Marius %D 2018 %K dblp %T New techniques for abstraction refinement.

@phdthesis{phd/dnb/Greitschus18, added-at = {2021-07-17T00:00:00.000+0200}, author = {Greitschus, Marius}, biburl = {https://www.bibsonomy.org/bibtex/2233198a2d9d145ca0b2850a3a85fe474/dblp}, ee = {https://d-nb.info/1174142472}, interhash = {ae6ebd4e3b4af34324518f028d87050d}, intrahash = {233198a2d9d145ca0b2850a3a85fe474}, keywords = {dblp}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, timestamp = {2024-04-09T08:13:28.000+0200}, title = {New techniques for abstraction refinement.}, year = 2018 }