On the bisimulation proof method 论文

1998Mathematical Structures in Computer Science引用 220
DOI
Formal Methods in VerificationLogic, programming, and type systemsSynthetic Organic Chemistry Methods
Logic, programming, and type systemsFormal Methods in VerificationSynthetic Organic Chemistry Methods
相关技术:Synthetic Organic Chemistry MethodsFormal Methods in Verification
关系图谱

On the bisimulation proof method · 作者

D

Davide Sangiorgi