%0 Journal Article
%T Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
%A Crafa, Silvia
%A Ranzato, Francesco
%J Formal Methods in System Design
%V 40
%N 3
%P 356-376
%@ 0925-9856
%D 2012-03-22
%I Springer US
%~ DeepDyve