On the verification of broadcast protocols 论文

2003引用 246
DOI
Formal Methods in Verificationsemigroups and automata theoryLogic, programming, and type systems
Logic, programming, and type systemssemigroups and automata theoryFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

On the verification of broadcast protocols · 相关技术

相关技术

Formal Methods in Verification