HIGHLIGHTS
- who: BDD zwiększając możliwości zastosowania and collaborators from the (UNIVERSITY) have published the Article: Article citation info: J-M LUNDTEIGEN MA Y X-Y, in the Journal: (JOURNAL)
- what: To verify the correctness of the algorithm , the authors compare the non-simulation approaches with the Petri-net simulation. In the next instance, the authors show that the truncation step is indispensable in avoiding the excessive memory cost of the traditional BDD and amp; Markov method.
- future: A possible direction of future works is to explore the application of the . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.