@inproceedings{Wer2007, Author = {Werner Damm and Holger Hermanns}, Title = {Computer Aided Verification}, Year = {2007}, Pages = {26}, Month = {01}, Edition = {volume 4590}, Booktitle = {Lecture Notes in Computer Science}, type = {inproceedings} } @COMMENT{Bibtex file generated on }