Search

You searched for: Auteur Erik de Vink Remove constraint Auteur: Erik de Vink
1 - 4 of 4
Number of results to display per page

Search Results

1. Formal Methods
thumbnail
Full text!
Author:
Havelund; Bill Roscoe; Erik de Vink; Jan Peleska; de Vink, Erik; Peleska, Jan; Roscoe, Bill
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Transactions on Computational Systems Biology XIV
thumbnail
Full text!
Author:
Priami; de Vink, Erik; Petre, Ion
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
3. Formal Methods for Dynamical Systems
thumbnail
Full text!
Author:
Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
4. Transactions on Computational Systems Biology XIII
thumbnail
Full text!
Author:
Priami, Corrado; Back, Ralph-Johan; Kanade, Takeo; Petre, Ion; Vink, Erik; de Vink, Erik
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book