𝔖 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) - Elimination of duplicate labels in Petri-net-based system specification

✍ Scribed by Cheung, K.S.; Chow, K.O.

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

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) - Analysis of the Suzuki-Kasami algorithm with SAL model checkers

✍ Ogata, K.; Futatsugi, K. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 300 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