%0 Journal Article %1 journals/igpl/YahavRSW06 %A Yahav, Eran %A Reps, Thomas W. %A Sagiv, Shmuel %A Wilhelm, Reinhard %D 2006 %J Logic Journal of the IGPL %K dblp %N 5 %P 755-783 %T Verifying Temporal Heap Properties Specified via Evolution Logic. %U http://dblp.uni-trier.de/db/journals/igpl/igpl14.html#YahavRSW06 %V 14

@article{journals/igpl/YahavRSW06, added-at = {2007-01-29T00:00:00.000+0100}, author = {Yahav, Eran and Reps, Thomas W. and Sagiv, Shmuel and Wilhelm, Reinhard}, biburl = {https://www.bibsonomy.org/bibtex/29d411d6aac2cf757fca0b6ce0613e418/dblp}, date = {2007-01-29}, description = {dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzl009}, interhash = {db4f2226b9a69db91ea056eb0c510b5c}, intrahash = {9d411d6aac2cf757fca0b6ce0613e418}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 5, pages = {755-783}, timestamp = {2007-02-07T11:15:53.000+0100}, title = {Verifying Temporal Heap Properties Specified via Evolution Logic.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl14.html#YahavRSW06}, volume = 14, year = 2006 }