Probabilistic Simulations for Probabilistic Processes 论文

1994Lecture notes in computer science引用 389
DOI
Formal Methods in VerificationSimulation Techniques and ApplicationsSoftware Reliability and Analysis Research
Simulation Techniques and ApplicationsFormal Methods in VerificationSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

Probabilistic Simulations for Probabilistic Processes · 作者

N

Nancy Lynch

R

Roberto Segala