Jan Springintveld

发表

Frits W. Vaandrager, Pedro R. D'Argenio, Jan Springintveld, 1997, Theor. Comput. Sci..
Frits W. Vaandrager, Jan Springintveld, 1996, FTRTFT.
Jan Friso Groote, Jan Springintveld, 2001, J. Log. Algebraic Methods Program..
Ronald Leo Christiaan Koymans, Judi Romijn, Jan Springintveld, 1997 .
Jan Springintveld, Judi Romijn, J. Romijn, 1998, FORTE.
Jan Friso Groote, Frits W. Vaandrager, H. Brinksma, 1995 .
Jan Springintveld, J. Springintveld, 1994, TLCA.
Jan Springintveld, Henri Korver, H. Korver, 1993, TACS.
Jan Friso Groote, Jan Springintveld, J. F. Groote, 2005, Formal Aspects of Computing.
Marc Bezem, Jan Springintveld, J. Springintveld, 1996, Journal of Functional Programming.
Jan Springintveld, J. Springintveld, 1994, HOA.