author = { Brinksma, Ed Larsen, Kim Guldstrand },

title = { Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings },

publisher = {Springer-Verlag Berlin Heidelberg},

isbn = {9783540456575},

isbn = {3540439978},

keywords = { Logic design , Computer logic. , Mathematical logic. , Computers. , Special purpose computers. , Computer science , Artificial intelligence , Software engineering , Computer Science , Machine theory. , Computers, Special purpose. , Computer software Evaluation Congresses , Electronic digital computers Evaluation Congresses , Konferenzschrift 2002 Kopenhagen , Verifikation },

year = {2002},

abstract = {Lizenzpflichtig},

booktitle = {Lecture Notes in Computer Science ; 2404},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }