Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jan Springintveld
2000 – 2009
- 2005
[j4]Jan Friso Groote, François Monin, Jan Springintveld: A computer checked algebraic verification of a distributed summation algorithm. Formal Asp. Comput. 17(1): 19-37 (2005)- 2001
- [j3]Jan Friso Groote, Jan Springintveld: Focus points and convergent process operators: a proof strategy for protocol verification. J. Log. Algebr. Program. 49(1-2): 31-60 (2001)
- [j2]Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio: Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001)
1990 – 1999
- 1998
- [c6]
- 1996
- [j1]Marc Bezem, Jan Springintveld: A Simple Proof of the Undecidability of Inhabitation in lambdaP. J. Funct. Program. 6(5): 757-761 (1996)
- [c5]
- 1995
- [c4]
- [c3]
- 1994
- [c2]Henri Korver, Jan Springintveld: A Computer-Checked Verification of Milner's Scheduler. TACS 1994: 161-178
- 1993
- [c1]Jan Springintveld: Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P. TLCA 1993: 391-405
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:34 CET by the dblp team