Modeling and verification of parallel processes : 4th summer school, MOVEP 2000 : Nantes, France, June 19-23, 2000 : revised tutorial lectures. : Jun 2000, Nantes, France. (Lecture Notes in Computer Science ; 2067. Tutorial)
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。