arrow
返回
A

Amir Pnueli

机构信息待补充

88H指数
369论文数
3.9W被引数
收录论文 1
发表时间
Effective synthesis of switching controllers for linear systems
err2000-07-01
err132
PREAI
errAsarin, E; Bournez, O; Dang, T; Maler, O; Pnueli, A
err分享
err收藏