A negative result on depth-first net unfoldings.

Javier Esparza Pradeep Kanade Stefan Schwoon

Published in: Int. J. Softw. Tools Technol. Transf. (2008)

Keyphrases

search algorithm
search strategy
real time
search space
neural network
effective pruning