1.
Blute R, Desharnais J, Edalat A, Panangaden P. Bisimulation for Labelled Markov Processes. BRICS [Internet]. 1997 Jan. 4 [cited 2024 Mar. 28];4(4). Available from: https://tidsskrift.dk/brics/article/view/18783