J. V. Diepen

发表

Kim G. Larsen, Marco Muñiz, Sebastian Lund, 2021, International Conference on Formal Modeling and Analysis of Timed Systems.

M. Koornneef, L. Martinelli, C. Hanhart, 1989, Euphytica.

P. A. Kemme, C. Peet-Schwering, A. Jongbloed, 2006 .