Conference paper
The AGEDIS tools for model based testing
Alan Hartman, Kenneth Nagin
UML Satellite Activities 2004
Alan Hartman, Kenneth Nagin
UML Satellite Activities 2004
Ahmed M. Assaf, Alan Hartman, et al.
Discrete Mathematics
Alan Hartman, Andrei Kirshin, et al.
SEAPP 2002
Alan Hartman, Yoav Medan
Discrete Applied Mathematics