MPG.eBooks - Search Results - %((instability theory) OR (reliability theory))%22

Search alternatives:
instability theory » stability theory , probability theory , possibility theory
reliability theory » probability theory , stability theory

Cover Image

1

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

Published 2014

Springer International Publishing

Table of Contents: “... Verification of Concurrent Datatypes -- SMT and Theorem Proving -- Monadic Decomposition -- A DPLL(T) Theory...”