Abstraction, Refinement and Proof for Probabilistic Systems 论文

2005引用 371
DOI
Logic, Reasoning, and KnowledgeAdvanced Database Systems and QueriesSemantic Web and Ontologies
企业软件Semantic Web and OntologiesAdvanced Database Systems and QueriesLogic, Reasoning, and Knowledge
关系图谱

Abstraction, Refinement and Proof for Probabilistic Systems · 作者

C

Carroll Morgan

A

Annabelle McIver