Author:
Chung Ming-Ying,Ciardo Gianfranco,Yu Andy Jinqing
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comp. 35(8), 677–691 (1986)
2. IFIP Transactions;J.R. Burch,1991
3. Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: Logical and stochastic modeling with SMART. Perf. Eval. 63, 578–608 (2006)
4. Ciardo, G., Lan, Y.: Faster discrete-event simulation through structural caching. In: Proc. PMCCS, September 2003, pp. 11–14 (2003)
5. Lecture Notes in Computer Science;G. Ciardo,2000
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献