A framework for comparing models of computation 论文

1998IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems引用 689
DOI
Petri Nets in System ModelingEmbedded Systems Design TechniquesFormal Methods in Verification
Petri Nets in System ModelingFormal Methods in VerificationEmbedded Systems Design Techniques
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

A framework for comparing models of computation · 相关技术

相关技术

Petri Nets in System ModelingFormal Methods in Verification