Reasoning about systems with many processes 论文

1992Journal of the ACM引用 440
DOIPDF
Formal Methods in VerificationPetri Nets in System ModelingLogic, programming, and type systems
Logic, programming, and type systemsPetri Nets in System ModelingFormal Methods in Verification
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Reasoning about systems with many processes · 相关事件

暂无数据