Author:
Massink Mieke,Brambilla Manuele,Latella Diego,Dorigo Marco,Birattari Mauro
Publisher
Springer Science and Business Media LLC
Reference49 articles.
1. Aldini, A., Bernardo, M., & Corradini, F. (2010). A process algebraic approach to software architecture design. Heidelberg: Springer.
2. Aziz, A., Sanwal, K., Singhal, V., & Brayton, R. (2000). Model checking continuous time Markov chains. ACM Transactions on Computational Logic, 1(1), 162–170.
3. Lecture notes in computer science;C. Baier,1999
4. Lecture notes in computer science;S. Benkirane,2012
5. Bergstra, J., Ponse, A., & Smolka, S. (Eds.) (2001). Handbook of process algebra. Amsterdam: Elsevier.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献