Author:
Wan Min,Ciardo Gianfranco
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8), 677–691 (1986)
2. Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: Logical and stochastic modeling with SMART. Perf. Eval. 63, 578–608 (2006)
3. Ciardo, G., Marmorstein, R., Siminiceanu, R.: The saturation algorithm for symbolic state space exploration. STTT 8(1), 4–25 (2006)
4. Ciardo, G., Wan, M.: Generally-reduced decision diagrams: definition and applications (submitted for publication)
5. Lecture Notes in Computer Science;G. Ciardo,2005
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献