The Theory of Hybrid Automata 论文

2000引用 384
DOI
Formal Methods in Verificationsemigroups and automata theoryPetri Nets in System Modeling
semigroups and automata theoryPetri Nets in System ModelingFormal Methods in Verification
相关技术:Formal Methods in VerificationPetri Nets in System Modeling
关系图谱

The Theory of Hybrid Automata · 作者

T

Thomas A. Henzinger