An algorithm to find UIO
Gerardd J. Holzmann, DESIGN AND VALIDATION OF COMPUTER PROTOCOLS, Prentice-Hall International Editions, 1991.
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本