257 followers TREsPASS Project @TREsPASSProject Confluence Reduction for Markov Automata (Timmer, van de Pol, Stoelinga) http://t.co/1juiFlhGdO 15 Nov 2013 Reply Repost Favourite