Scopus Citation Count History for Algebraic reasoning for probabilistic action systems and while-loops
Citation counts provided by Scopus
