id: 05918431
dt: b
an: 05918431
au: Gopalakrishnan, Ganesh (ed.); Qadeer, Shaz (ed.)
ti: Computer aided verification. 23rd international conference, CAV 2011,
    Snowbird, UT, USA, July 14‒20, 2011. Proceedings.
so: Lecture Notes in Computer Science 6806. Berlin: Springer (ISBN
    978-3-642-22109-5/pbk). xvii, 763~p. EUR~93.09 (2011).
py: 2011
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: Zbl 1193.68016
li: doi:10.1007/978-3-642-22110-1
ab: For the preceding conference see Zbl 1193.68016.
rv: