Author:
Wan Min,Ciardo Gianfranco
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)
2. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8), 677–691 (1986)
3. Lecture Notes in Computer Science;H.-D. Burhard,1983
4. Ciardo, G.: Discrete-time Markovian stochastic Petri nets. In: Computations with Markov Chains, pp. 339–358. Kluwer Academic Publishers, Dordrecht (1995)
5. Ciardo, G., Jones, R.L., Miner, A.S., Siminiceanu, R.: Logical and stochastic modeling with SMART. Perf. Eval. 63, 578–608 (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献