๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE 2008 International Conference on Advanced Computer Theory and Engineering (ICACTE) - Phuket, Thailand (2008.12.20-2008.12.22)] 2008 International Conference on Advanced Computer Theory and Engineering - A Method on Specification and Verification of Component Interaction in Real-Time Reactive Systems

โœ Scribed by Jia, Yangli; Li, Zhoujun; Zhang, Zhenling; Xie, Shengxian


Book ID
111689927
Publisher
IEEE
Year
2008
Weight
827 KB
Volume
0
Category
Article
ISBN
0769534899

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES