CTL Model Checking Algorithm Using MapReduce
Published in Lecture notes in electrical engineering • Jan 1, 2013
Authors:,,
Feng Guo
Wei Guang
Mengmeng Deng
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!