Parallel execution of state space explorations using different kinds of dynamics

Masahiro Nagamatu, Kairong Zhang. Parallel execution of state space explorations using different kinds of dynamics. In Boris Kovalerchuk, editor, Proceedings of the Second IASTED International Conference on Computational Intelligence, San Francisco, California, USA, November 20-22, 2006. pages 180-185, IASTED/ACTA Press, 2006.

Abstract

Abstract is missing.