Author:
Ciardo G.,Jones R. L.,Miner A. S.,Siminiceanu R.
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;C. Baier,2000
2. Bengtsson, J., et al.: New Generation of Uppaal. In: Int. Workshop on Software Tools for Technology Transfer (June 1998)
3. Brewer, J.W.: Kronecker products and matrix calculus in system theory. IEEE Trans. Circ. and Syst. CAS-25, 772–781 (1978)
4. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comp. 35(8), 677–691 (1986)
5. Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of memory efficient Kronecker operations with applications to the solution of Markov models. INFORMS J. Comp. 12(3), 203–222 (2000)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献