can you give me a good literature review about the resolution of state explosion problem using BDD, Krike Structure or Petri nets ?

More Oussama Hayane's questions See All
Similar questions and discussions