LTL with the freeze quantifier and register automata 论文

2009ACM Transactions on Computational Logic引用 254
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
关系图谱

LTL with the freeze quantifier and register automata · 相关技术

相关技术

Formal Methods in Verification