✦ LIBER ✦

[IEEE Comput. Soc 13th International Symposium on Software Reliability Engineering - Annapolis, MD, USA (12-15 Nov. 2002)] 13th International Symposium on Software Reliability Engineering, 2002. Proceedings. - Blocking-based simultaneous reachability analysis of asynchronous message-passing programs

✍ Scribed by Yu Lei, ; Kuo-Chung Tai,

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 13th International Sym

✍ Baudry, B.; Fleurey, F.; Jezequel, J.-M.; Le Traon, Y. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 438 KB