Publicaties

• 2022

  Displaying Decimal Numbers

  C. Pronk

• 2022

  The Esiac-10 Algebraic Computer

  A theoretical decomposition by the Historic Collection
  C. Pronk / P.J. Trimp

• 2020

  Measurements on (standard) Capacitors

  Kees Pronk / Piet Trimp

• 2012

  Model Checking, the Technology and the Tools

  C Pronk

• 2011

  EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax

  B Vos de / LCL Kats / C Pronk

• Meer publicaties