Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 3
Number of items: 3
  • Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. S. (2008). Towards formal verification of ToolBus scripts. In J. Meseguer, & G. Roşu (Eds.), Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 : proceedings (pp. 160-166). (Lecture Notes in Computer Science; Vol. 5140). Springer. https://doi.org/10.1007/978-3-540-79980-1_13
  • Kirkilionis, M. A., Diekmann, O., Lisser, B., Nool, M., Sommeijer, B., & de Roos, A. M. (2001). Numerical continuation of equilibria of physiologically structured population models. I: Theory. Mathematical models and methods in applied science, 11(6), 1101-1127. https://doi.org/10.1142/S0218202501001264
  • Kirkilionis, M. A., Diekmann, O., Lisser, B., Nool, M., de Roos, A. M., & Sommeijer, B. P. (1997). Numerical continuation of equilibria of physiologically structured population models. I: Theory. (Report - Modelling, Analysis and Simulation; No. MAS-R9714). CWI.
Page of