Search

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

Search Results

1. Transactions on Computational Systems Biology XIV
thumbnail
Full text!
Author:
Priami; de Vink, Erik; Petre, Ion
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
2. 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
3. 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
4. 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