✦ LIBER ✦

[IEEE Comput. Soc International Symposium on Principles of Software Evolution - Kanazawa, Japan (1-2 Nov 2000)] Proceedings International Symposium on Principles of Software Evolution - Using predicate temporal logic and coloured Petri nets to specifying integrity restrictions in the structural evolution of temporal active systems

✍ Scribed by Rodriguez-Fortiz, M.J.; Parets-Llorca, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc International Symposiu

✍ Aoyama, M. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 612 KB

[IEEE Comput. Soc International Symposiu

✍ Katayama, T.; Saisho, K.; Fukuda, A. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 673 KB

[IEEE Comput. Soc International Symposiu

✍ Yang Li, ; Hongji Yang, ; Chu, W. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 846 KB