Author:
Baier Christel,Hermanns Holger,Katoen Joost-Pieter,Wolf Verena
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. Abstraction in probabilistic process algebra;Andova,2001
2. It usually works: the temporal logic of stochastic systems;Aziz,1995
3. Deciding bisimilarity and similarity for probabilistic processes;Baier;J. of Comp. and System Sc.,2000
4. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Trans. on Software Eng.,2003
5. Weak bisimulation for fully probabilistic processes;Baier,1997
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献