𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Combining structural and symbolic methods for the verification of concurrent systems

✍ Scribed by Cortadella, J.

Book ID: 126642892
Publisher: IEEE Comput. Soc
Year: 1998
Weight: 160 KB
Category: Article
ISBN-13: 9780818683503
DOI: 10.1109/CSD.1998.657533

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 1998 International Con

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Hierarchical concurrent finite state machines in Ptolemy

✍ Bilung Lee, ; Lee, E.A. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 62 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 Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Application of Concurrency to System Design (ACSD'2003) - Guimaraes, Portugal (18-20 June 2003)] Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. - HiWorD: a Petri net-based hierarchical workflow designer

✍ Benatallah, B.; Chrzastowski-Wachtel, P.; Hamadi, R.; O'Dell, M.; Susanto, A. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 365 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 Comput. Soc Second International C

[IEEE Comput. Soc Second International Conference on Application of Concurrency to System Design. ACSD 2001 - Newcastle upon Tyne, UK (25-29 June 2001)] Proceedings Second International Conference on Application of Concurrency to System Design - Semi-hiding operators and the analysis of active-edge specifications for digital circuits

✍ Negulescu, R.; Xiaohua Kong, 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 385 KB