Author:
Degano Pierpaolo,Bracciali Andrea
Publisher
Springer Berlin Heidelberg
Reference84 articles.
1. Aziz A, Sanwal K, Singhal V, Brayton R (2000) Model checking continuous time Markov chains. ACM Trans Comput Logic 1(1):162–170
2. Baier C, Haverkort B, Hermanns H, Katoen J-P (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Trans Software Eng 29(6):524–541
3. Bergstra JA, Ponse A, and Smolka SA (2001) Handbook of process algebra. North-Holland, Amsterdam, The Netherlands
4. Lecture notes in computer science,2008
5. Bodei C (2009) A control flow analysis for beta-binders with and without static compartments. Theor Comput Sci 410(33–34):3110–3127
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献