借閱次數: 0
|
Verification of infinite-state systems with applications to security
- 作者:edited by Edmund Clarke, Marius Minea and Ferucio Laurenoiu Jiplea
- 出版者:IOS Press
- 出版地:Amsterdam ; Washington, D.C :
- 語文:英語
- 叢書名:NATO security through science series. D, Information and communication security ;
- 電子資源:連結全文
- ISBN/ISSN/ISRC:9781586035709 ((electronic bk.)) ; 1586035703
- 作者:Clarke Edmund;Minea Marius;Jiplea Ferucio Laurenoiu
- 索書號:005.8
- 團體作者:
|