Author:
Acciai Lucia,Boreale Michele,De Nicola Rocco
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Acciai, L., Boreale, M., De Nicola, R.: Linear-Time and May-Testing in a Probabilistic Reactive Setting. Full version, http://rap.dsi.unifi.it/~acciai/papers/prob-may.pdf
2. Baier, C.: On the algorithmic verification of probabilistic systems. Universität Mannheim, Habilitation Thesis (1998)
3. Boreale, M., De Nicola, R., Pugliese, R.: Trace and Testing Equivalence in Asynchronous Processes. Information and Computation 172, 139–164 (2002)
4. Lecture Notes in Computer Science;K. Chatzikokolakis,2007
5. Cleaveland, R., Iyer, S.P., Narasimha, M.: Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342(2-3) (2005)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献