Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface

Aarti Gupta; Sharad Malik

doi:10.1007/978-3-540-70545-1

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings
Pages	V-VI
DOIs	https://doi.org/10.1007/978-3-540-70545-1
State	Published - 2008
Event	20th International Conference on Computer Aided Verification, CAV 2008 - Princeton, NJ, United States Duration: Jul 7 2008 → Jul 14 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5123 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	20th International Conference on Computer Aided Verification, CAV 2008
Country/Territory	United States
City	Princeton, NJ
Period	7/7/08 → 7/14/08

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-70545-1

Cite this

Gupta, A., & Malik, S. (2008). Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface. In Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings (pp. V-VI). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5123 LNCS). https://doi.org/10.1007/978-3-540-70545-1

Gupta, Aarti ; Malik, Sharad. / Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface. Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. 2008. pp. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fcf8beb1e6a44d23ac35ba6a5e95f313,

title = "Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface",

author = "Aarti Gupta and Sharad Malik",

year = "2008",

doi = "10.1007/978-3-540-70545-1",

language = "English (US)",

isbn = "3540705430",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "V--VI",

booktitle = "Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings",

note = "20th International Conference on Computer Aided Verification, CAV 2008 ; Conference date: 07-07-2008 Through 14-07-2008",

}

Gupta, A & Malik, S 2008, Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface. in Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5123 LNCS, pp. V-VI, 20th International Conference on Computer Aided Verification, CAV 2008, Princeton, NJ, United States, 7/7/08. https://doi.org/10.1007/978-3-540-70545-1

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface. / Gupta, Aarti ; Malik, Sharad.
Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. 2008. p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5123 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Computer Aided Verification

T2 - 20th International Conference on Computer Aided Verification, CAV 2008

AU - Gupta, Aarti

AU - Malik, Sharad

PY - 2008

Y1 - 2008

UR - http://www.scopus.com/inward/record.url?scp=48949089996&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=48949089996&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-70545-1

DO - 10.1007/978-3-540-70545-1

M3 - Conference contribution

AN - SCOPUS:48949089996

SN - 3540705430

SN - 9783540705437

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - V-VI

BT - Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings

Y2 - 7 July 2008 through 14 July 2008

ER -

Gupta A , Malik S. Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface. In Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. 2008. p. V-VI. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-70545-1

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this