author = { CAV 14 2002 Kopenhagen Brinksma, Ed },

title = { Computer aided verification 14th international conference ; proceedings },

publisher = {Springer},

isbn = {3540439978},

keywords = { Computer software Evaluation Congresses , Electronic digital computers Evaluation Congresses , Konferenzschrift 2002 Kopenhagen , Verifikation },

year = {2002},

abstract = {Includes bibliographical references and index},

booktitle = {Lecture notes in computer science ; 2404},

address = { Berlin },

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