%0 Conference Paper %1 conf/cav/BogudlovLRS07 %A Bogudlov, Igor %A Lev-Ami, Tal %A Reps, Thomas W. %A Sagiv, Mooly %B CAV %D 2007 %E Damm, Werner %E Hermanns, Holger %I Springer %K dblp %P 221-225 %T Revamping TVLA: Making Parametric Shape Analysis Competitive. %U http://dblp.uni-trier.de/db/conf/cav/cav2007.html#BogudlovLRS07 %V 4590 %@ 978-3-540-73367-6

@inproceedings{conf/cav/BogudlovLRS07, added-at = {2018-10-03T00:00:00.000+0200}, author = {Bogudlov, Igor and Lev-Ami, Tal and Reps, Thomas W. and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/2486571048b567c7cfce543d9457ac20c/dblp}, booktitle = {CAV}, crossref = {conf/cav/2007}, editor = {Damm, Werner and Hermanns, Holger}, ee = {https://doi.org/10.1007/978-3-540-73368-3_25}, interhash = {7f10eb063e0a3b5ccadd3d5eed959836}, intrahash = {486571048b567c7cfce543d9457ac20c}, isbn = {978-3-540-73367-6}, keywords = {dblp}, pages = {221-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {Revamping TVLA: Making Parametric Shape Analysis Competitive.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2007.html#BogudlovLRS07}, volume = 4590, year = 2007 }