Search results for "Symbolic bisimulation checking and decomposition of real-time service specifications" | NDL Search

Search results 2

Group by title

PaperDigital博士論文障害者向け資料あり

中田明夫 [著]<UT51-97-T338>

Available onlineNational Diet Library

Digital博士論文

中田, 明夫

Available onlineOther Libraries in Japan

Alternative TitleSymbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications
Alternative TitleSymbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications

Reached to the end of result.

RSS