Bisimulation for Labelled Markov Process
โ
Josรฉe Desharnais; Abbas Edalat; Prakash Panangaden
๐
Article
๐
2002
๐
Elsevier Science
๐
English
โ 239 KB