Algebraic Reasoning for Probabilistic Concurrent Systems. 论文

1990引用 231
Advanced Database Systems and QueriesSemantic Web and OntologiesFormal Methods in Verification
企业软件Semantic Web and OntologiesAdvanced Database Systems and QueriesFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Algebraic Reasoning for Probabilistic Concurrent Systems. · 相关技术

相关技术

Formal Methods in Verification