Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationBerlin
PublisherIEEE Computer Society Press
Number of pages626
ISBN (Print)3540439978
Publication statusPublished - 2002
SeriesLecture Notes in Computer Science
Number2404
ISSN0302-9743

Cite this

Brinksma, E., & Larsen, K. G. (2002). Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002. IEEE Computer Society Press. Lecture Notes in Computer Science, No. 2404