1 - 3 of 3
1
Thesis icon

Thesis

Computational methods for the estimation of cardiac electrophysiological conduction parameters in a patient specific setting

  • Wallman, K
  • 2013
2
Thesis icon

Thesis

Two variable and linear temporal logic in model checking and games

  • Lenhardt, R
  • 2013
3
Thesis icon

Thesis

Stochastic modelling and simulation in cell biology

  • Szekely, T, Tamas Szekely
  • 2014
FILTER RESULTS

TO TOP