Author:
Baier Christel,Katoen Joost-Pieter,Hermanns Holger,Haverkort Boudewijn
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weak Simulation Quasimetric in a Gossip Scenario;Formal Techniques for Distributed Objects, Components, and Systems;2017
2. An Experimental Evaluation of Probabilistic Simulation;Formal Techniques for Networked and Distributed Systems – FORTE 2008;2008
3. Simulation for Interactive Markov Chains;Lecture Notes in Computer Science;2006
4. Comparative branching-time semantics for Markov chains;Information and Computation;2005-08
5. Branching Time Equivalences for Interactive Markov Chains;Lecture Notes in Computer Science;2004