登入
選單
返回
Google圖書搜尋
Weak Bisimulation for Fully Probabilistic Processes
Christel Baier
出版
Centre for Telematics and Information Technology
, 1999
URL
http://books.google.com.hk/books?id=jR9LPQAACAAJ&hl=&source=gbs_api