登入
選單
返回
Google圖書搜尋
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
John Rushby
Frieder von Henke
出版
National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division
, 1989
URL
http://books.google.com.hk/books?id=pjQCAAAAIAAJ&hl=&source=gbs_api