Formal verification for analysis and des
โ
D. Kalita; P. Khargonekar
๐
Article
๐
2002
๐
IEEE
๐
English
โ 719 KB