Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)

Armin Biere; Roderick Bloem

Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)

Armin Biere (Editor)
, Roderick Bloem (Editor)

Institute of Formal Models and Verification

Research output: Book › Anthology

Abstract

26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 18-22, 2014 Proceedings

Original language	English
Publisher	Springer
Volume	8559
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@book{1ed4d27f6cdc4ef19ffbbb962ba2ab0e,

title = "Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)",

abstract = "26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 18-22, 2014 Proceedings",

editor = "Armin Biere and Roderick Bloem",

year = "2014",

language = "English",

volume = "8559",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

}

TY - BOOK

T1 - Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)

A2 - Biere, Armin

A2 - Bloem, Roderick

PY - 2014

Y1 - 2014

N2 - 26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 18-22, 2014 Proceedings

AB - 26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 18-22, 2014 Proceedings

M3 - Anthology

VL - 8559

T3 - Lecture Notes in Computer Science (LNCS)

BT - Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)

PB - Springer

ER -