Author:
Babar Junaid,Beccuti Marco,Donatelli Susanna,Miner Andrew
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester (1995)
2. Brace, K.S., Rudell, R.L., Bryant, R.E.: Efficient implementation of a BDD package. In: 27th ACM/IEEE Design Automation Conference, pp. 40–45. ACM Press, New York (1990)
3. Bryant, R.E.: Graph–based algorithms for boolean function manipulation. IEEE Trans. Comput. C-35(8), 677–691 (1986)
4. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993)
5. Ciardo, G., Lüttgen, G., Miner, A.S.: Exploiting interleaving semantics in symbolic state–space generation. Formal Methods in System Design 31(1), 63–100 (2007)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Model Checking Using Intervals of Vectors;Lecture Notes in Computer Science;2024
2. Stochastic modelling and evaluation using GreatSPN;ACM SIGMETRICS Performance Evaluation Review;2022-06-02
3. TAPAS;ACM SIGMETRICS Performance Evaluation Review;2022-06-02
4. Implicit Reward Structures for Implicit Reliability Models;IEEE Transactions on Reliability;2022
5. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019;International Journal on Software Tools for Technology Transfer;2021-06-01