熱門搜尋
您輸入的關鍵字: Stoelinga
搜尋結果共 10 筆, 頁數 1 / 1
呈現:
Non-Finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.- O... more
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeli... more
Stochastic models.- Abstraction techniques.- Stochastic model checking.... more
This book examines the work of elementary-level, nonsupervisory, school-embedded, instructional teac... more