Author:
Hinton Andrew,Kwiatkowska Marta,Norman Gethin,Parker David
Publisher
Springer Berlin Heidelberg
Reference2 articles.
1. PRISM web site,
http://www.cs.bham.ac.uk/~dxp/prism
2. Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. In: Panangaden, P., van Breugel, F. (eds.). CRM Monograph Series, vol. 23. AMS (2004)
Cited by
228 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献