Statistics
Publications
3
Citations
58
H-Index
3
Active since
2009
Affiliations
Radboud University Nijmegen(Current)
Jasper Berendsen is an author at Radboud University Nijmegen specializing in computer science, computing, and protocol verification.
Publications per year
2009–2011
3
3
The axiomatization of override and update
Jasper Berendsen, David N. Jansen, Julien Schmaltz et al. · Journal of Applied Logic · 2009 · 22 citations · Full text
1–3 of 3