publication venue for An approach to state space reduction for systems with dynamic process creation 2009 An Approach to State Space Reduction for Systems with Dynamic Process Creation 2009
