𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Formal Verification of an Array-Based Nonblocking Queue

✍ Scribed by Colvin, R.; Groves, L.

Book ID: 126637555
Publisher: IEEE
Year: 2005
Weight: 181 KB
Category: Article
ISBN-13: 9780769522845
DOI: 10.1109/ICECCS.2005.49

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Mediation Systems Modeling and Verification

✍ Li Yang, ; Ege, R.K.; Huiqun Yu, 📂 Article 📅 2005 🏛 IEEE ⚖ 157 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Formal Semantics and Verification for Feature Modeling

✍ Jing Sun, ; Hongyu Zhang, ; Yuan Fang Li, ; Hai Wang, 📂 Article 📅 2005 🏛 IEEE ⚖ 464 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Rapid Prototyping of Complex Interactive Simulation Systems

✍ Zhiming Zhao, ; van Albada, D.; Sloot, P. 📂 Article 📅 2005 🏛 IEEE ⚖ 266 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - The Preservation of Interleaving Equivalences

✍ Jianmin Jiang, ; Jinzhao Wu, 📂 Article 📅 2005 🏛 IEEE ⚖ 320 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Model Checking Live Sequence Charts

✍ Jun Sun, ; Jin Song Dong, 📂 Article 📅 2005 🏛 IEEE ⚖ 210 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Grammar-Specified Model-Driven Architectures

✍ Jun Kong, ; Kang Zhang, ; Jing Dong, 📂 Article 📅 2005 🏛 IEEE ⚖ 68 KB