MPG.eBooks - Search Results - "lightning _"

Search alternatives:
"lightning _" » "lighting _", "tightening _"

Cover Image

1

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Published 2015

Springer International Publishing

Table of Contents: “...-Dimensional Ellipsoids and Conic Extrapolation -- Lightning Talks -- ADAM: Causality-Based Synthesis...”

Cover Image

2

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Published 2015

Springer International Publishing

“... and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR...”