Media type: E-Book; Conference Proceedings Title: Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings Contributor: Alur, Rajeev [Author]; Peled, Doron [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3114 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/b98490 ISBN: 9783540223429 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Verifikation Origination: Footnote: