𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE The Fifth International Conference on Computer and Information Technology (CIT'05) - Shanghai, China (2005.09.21-2005.09.23)] The Fifth International Conference on Computer and Information Technology (CIT'05) - Analysis of the Suzuki-Kasami algorithm with SAL model checkers

✍ Scribed by Ogata, K.; Futatsugi, K.

Book ID: 118211596
Publisher: IEEE
Year: 2005
Tongue: English
Weight: 300 KB
Volume: 0
Category: Article
ISBN-13: 9780769524320
DOI: 10.1109/cit.2005.76

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE The Fifth International Conference

[IEEE The Fifth International Conference on Computer and Information Technology (CIT'05) - Shanghai, China (2005.09.21-2005.09.23)] The Fifth International Conference on Computer and Information Technology (CIT'05) - Elimination of duplicate labels in Petri-net-based system specification

✍ Cheung, K.S.; Chow, K.O. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 228 KB

[IEEE The Fifth International Conference

[IEEE The Fifth International Conference on Computer and Information Technology (CIT'05) - Shanghai, China (2005.09.21-2005.09.23)] The Fifth International Conference on Computer and Information Technology (CIT'05) - Dynamic Work.ow in a Grid Enabled Problem Solving Environment

✍ Zhiming Zhao, ; Belloum, A.; Yakali, H.; Sloot, P.; Hertzberger, B. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 458 KB

[IEEE The Fifth International Conference

[IEEE The Fifth International Conference on Computer and Information Technology (CIT'05) - Shanghai, China (2005.09.21-2005.09.23)] The Fifth International Conference on Computer and Information Technology (CIT'05) - GOD Queuing : A Novel Grid-based Resource Co-allocation Scheme in Distributed Multimedia System

✍ Lv, Z.; Yiping Zhong, ; Weiming Fu, ; Shiyong Zhang, 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 193 KB

[IEEE The Sixth IEEE International Confe

[IEEE The Sixth IEEE International Conference on Computer and Information Technology (CIT'06) - Seoul (2006.09.20-2006.09.22)] The Sixth IEEE International Conference on Computer and Information Technology (CIT'06) - Towards Model-based Verification of BPEL with Model Checking

✍ Cao, Honghua; Ying, Shi; Du, Dehui 📂 Article 📅 2006 🏛 IEEE ⚖ 208 KB

[IEEE 2005 6th International Conference

[IEEE 2005 6th International Conference on Information Technology Based Higher Education and Training - Santo Domingo, dominican Republic (07-09 July 2005)] 2005 6th International Conference on Information Technology Based Higher Education and Training - Analysis of The Introduction To The Computer Programming Education By The SIEM Assessment Standard

✍ Dohi, S.; Miyakawa, O.; Konno, N. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 216 KB

[IEEE 2010 IEEE Fifth International Conf

[IEEE 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) - Changsha, China (2010.09.23-2010.09.26)] 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) - Hybridization of particle swarm optimization with the K-Means algorithm for clustering analysis

✍ Hai Shen, ; Li Jin, ; Yunlong Zhu, ; Zhu Zhu, 📂 Article 📅 2010 🏛 IEEE ⚖ 313 KB