Application of Wu's method to symbolic model checking
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Journal of Intelligent and Robotic Systems
Hi-index | 0.00 |