I agree that this site is using cookies. You can find further informations here.
X
Jilissen, Kevin
2  results:
Search for persons X
?
1

A formal analysis of Dutch Generic Integral Tunnel Design m..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
Jilissen, Kevin ; Dieleman, Peter ; Groote, Jan Friso - p. 1681-1684 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Using the Parallel ATerm Library for Parallel Model Checkin..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,
Groote, Jan Friso ; Jilissen, Kevin H. J. ; Laveaux, Maurice.. - p. 306-320 , 2022
Link: https://doi.org/10.1007/..
 
1-2