Author:
Ciardo Gianfranco,Marmorstein Robert,Siminiceanu Radu
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference47 articles.
1. Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, New York
2. Amoia V, De Micheli G, Santomauro M (1981) Computer-oriented formulation of transition-rate matrices via Kronecker algebra. IEEE Trans Reliabil 30:123–132
3. Bergstra JA, Ponse A, Smolka SA (2001) Handbook of process algebra. Elsevier, Amsterdam
4. Bloem R, Ravi K, Somenzi F (2000) Symbolic guided search for CTL model checking. In: Proc. DAC, Los Angeles. ACM Press, New York, pp 29–34
5. Bouajjani A, Jonsson B, Nilsson M, Touili T (2000) Regular model checking. In: CAV ’00, pp 403–418
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献