DaftarIsitemplate
 
Call Number
004 Int c
Title
Weak bisimulation for fully probabilistic processes, Hal. 119-130
Author
Christel Baier; Holger Hermanns;
Publisher
Springer, 1997
Subject
Location