Ivan Christoff
发表
Rance Cleaveland,
V. Natarajan,
Ivan Christoff,
1994,
Inf. Comput..
Ivan Christoff,
Fredrik Palm,
Christina Björkman,
1998,
SGCS.
Ivan Christoff,
Ivan Christoff,
1990,
CONCUR.
Ivan Christoff,
1989,
Automatic Verification Methods for Finite State Systems.
Ivan Christoff,
Linda Christoff,
Linda Christoff,
1991,
CAV.
Ivan Christoff,
Linda Christoff,
Linda Christoff,
1992,
FSTTCS.