𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Cao, Honghua; Ying, Shi; Du, Dehui

Book ID: 111873021
Publisher: IEEE
Year: 2006
Weight: 208 KB
Volume: 0
Category: Article
ISBN-13: 9780769526874
DOI: 10.1109/cit.2006.185

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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) - Whole Genome Alignment with BLAST on Grid Environment

✍ Kim, Min-sung; Sun, Choong-hyun; Kim, Jin-ki; Yi, Gwan-su 📂 Article 📅 2006 🏛 IEEE ⚖ 267 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) - A Parallel and Pipelined Execution of H.264/AVC Intra Prediction

✍ Jin, Genhua; Lee, Hyuk-jae 📂 Article 📅 2006 🏛 IEEE ⚖ 172 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) - Building Intelligent Environments Using Smart Daily Objects and Personal Devices

✍ Institute of Electrical and Electronics Engineers 📂 Article 📅 2006 🏛 IEEE ⚖ 70 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) - A Clinical Document Architecture (CDA) to Generate Clinical Documents within a Hospital Information System for E-Healthcare Services

✍ Kim, Hwa; Tran, Tung; Cho, Hune 📂 Article 📅 2006 🏛 IEEE ⚖ 704 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) - 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) - Elimination of duplicate labels in Petri-net-based system specification

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