@book{16229, author = {CAV (Conference) and Hermanns, Holger, }, title = {Computer Aided Verification :}, publisher = {Springer}, year = {2007.}, series = {Lecture notes in computer science ;}, address = {Berlin : } }