equal
deleted
inserted
replaced
202 Tim King and |
202 Tim King and |
203 Andrew Reynolds and |
203 Andrew Reynolds and |
204 Cesare Tinelli}, |
204 Cesare Tinelli}, |
205 title = {{CVC4}}, |
205 title = {{CVC4}}, |
206 booktitle = {CAV 2011}, |
206 booktitle = {CAV 2011}, |
207 year = {2011}, |
|
208 pages = {171--177}, |
207 pages = {171--177}, |
209 editor = {Ganesh Gopalakrishnan and |
208 editor = {Ganesh Gopalakrishnan and |
210 Shaz Qadeer}, |
209 Shaz Qadeer}, |
211 publisher = {Springer}, |
210 publisher = {Springer}, |
212 series = LNCS, |
211 series = LNCS, |