𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - BMC via dynamic atomicity analysis

✍ Scribed by Jussila, T.

Book ID: 126612516
Publisher: IEEE
Year: 2004
Weight: 341 KB
Category: Article
ISBN-13: 9780769520773
DOI: 10.1109/CSD.2004.1309132

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings. Fourth International

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - New orbit algorithms for data symmetries

✍ Junttila, T.A. 📂 Article 📅 2004 🏛 IEEE ⚖ 413 KB

[IEEE Proceedings. Fourth International

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Evaluating symbolic traversal algorithms applied to asynchronous concurrent systems

✍ Sole, M.; Pastor, E. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 402 KB

[IEEE Proceedings. Fourth International

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - A behavioral type inference system for compositional system-on-chip design

✍ Talpin, J.-P.; Berner, D.; Shukla, S.K.; Le Guernic, P.; Gamatiie, A.; Gupta, R. 📂 Article 📅 2004 🏛 IEEE ⚖ 396 KB

[IEEE Proceedings. Fourth International

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Comparison of methods for supervisory control and submodule construction

✍ Bochmann, G.v.; Daou, B. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 203 KB

[IEEE Proceedings. Fourth International

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Verification and implementation of delay-insensitive processes in restrictive environments

✍ Kapoor, H.K.; Josephs, M.B.; Furey, D.P. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 345 KB

[IEEE Proceedings. Fourth International

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - A semantics of security protocol language (SPL) using a class of composable high-level Petri nets

✍ Bouroulet, R.; Klaudel, H.; Pelz, E. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 367 KB