登入
選單
返回
Google圖書搜尋
Verification of an Alternating Bit Protocol by Means of Process Algebra
J. A. Bergstra
J. W. Klop
出版
Centrum voor Wiskunde en Informatica, Department of Computer Science
, 1984
URL
http://books.google.com.hk/books?id=v1fkHAAACAAJ&hl=&source=gbs_api