Stability of discrete linear inclusion 论文

1995Linear Algebra and its Applications引用 312
Formal Methods in VerificationSynthesis and properties of polymersPetri Nets in System Modeling