MPG.eBooks - Search Results - "Biological Models"

Search alternatives:
biological models » biological materials

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: “... Functions -- Finding Instability in Biological Models -- Invariant Verification of Nonlinear Hybrid Automata...”