%0 Journal Article %1 journals/corr/abs-cs-0601038 %A Delzanno, Giorgio %D 2006 %J CoRR %K dblp %T Constraint-based automatic verification of abstract models of multithreaded programs %U http://dblp.uni-trier.de/db/journals/corr/corr0601.html#abs-cs-0601038 %V abs/cs/0601038

@article{journals/corr/abs-cs-0601038, added-at = {2018-08-13T00:00:00.000+0200}, author = {Delzanno, Giorgio}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29c42f74adfa7ee15af7388a31945d0c5/dblp}, ee = {http://arxiv.org/abs/cs/0601038}, interhash = {ca166bd3dc1e21ba5cc935392ca75151}, intrahash = {9c42f74adfa7ee15af7388a31945d0c5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:44:04.000+0200}, title = {Constraint-based automatic verification of abstract models of multithreaded programs}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0601.html#abs-cs-0601038}, volume = {abs/cs/0601038}, year = 2006 }