%0 Conference Paper %1 conf/vmcai/JaffarSV06 %A Jaffar, Joxan %A Santosa, Andrew E. %A Voicu, Razvan %B VMCAI %D 2006 %E Emerson, E. Allen %E Namjoshi, Kedar S. %I Springer %K dblp %P 17-32 %T A CLP Method for Compositional and Intermittent Predicate Abstraction. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#JaffarSV06 %V 3855 %@ 3-540-31139-4

@inproceedings{conf/vmcai/JaffarSV06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Jaffar, Joxan and Santosa, Andrew E. and Voicu, Razvan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/288b937b4894015593a1e3d33c37b6e02/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2006}, editor = {Emerson, E. Allen and Namjoshi, Kedar S.}, ee = {https://doi.org/10.1007/11609773_2}, interhash = {260c5ed5e857ae1b1af5bd9b8c82d73e}, intrahash = {88b937b4894015593a1e3d33c37b6e02}, isbn = {3-540-31139-4}, keywords = {dblp}, pages = {17-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:55:24.000+0200}, title = {A CLP Method for Compositional and Intermittent Predicate Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#JaffarSV06}, volume = 3855, year = 2006 }