author = { Wang, Farn },

title = { Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540236108},

keywords = { Computer Communication Networks , Computer science , Information systems , Logic design , Software engineering , Computer Science , Konferenzschrift 2004 Taipeh , Systementwurf , Formale Methode , Verifikation , Model Checking , Softwareentwicklung , Hardwareentwurf , Entwurfsautomation },

year = {2004},

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

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

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