MPG.eBooks - Author Search Results

Cover Image

1

Transactions on Computational Systems Biology XIV : Special Issue on Computational Models for Cell Processes

Published 2012

Springer Berlin Heidelberg

Other Authors: “...de Vink, Erik...”

Cover Image

2

Transactions on Computational Systems Biology XIII

Published 2011

Springer Berlin Heidelberg

Other Authors: “...de Vink, Erik...”

Cover Image

3

Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...de Vink, Erik...”

Cover Image

4

Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June...

Published 2013

Springer Berlin Heidelberg

Other Authors: “...de Vink, Erik...”