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 (Herausgeber*in)
, Roderick Bloem (Herausgeber*in)

Institut für Formale Modelle und Verifikation

Publikation: Buch › Sammelwerk

Abstract

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

Originalsprache	Englisch
Verlag	Springer
Band	8559
Publikationsstatus	Veröffentlicht - 2014

Publikationsreihe

Name	Lecture Notes in Computer Science (LNCS)

Wissenschaftszweige

102 Informatik
603109 Logik
202006 Computer Hardware

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Dieses zitieren

@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 -