✦ LIBER ✦

[IEEE Comput. Soc. Press Fifth Annual IEEE Symposium on Logic in Computer Science - Philadelphia, PA, USA (4-7 June 1990)] [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science - Symbolic model checking: 10/sup 20/ states and beyond

✍ Scribed by Burch, J.R.; Clarke, E.M.; McMillan, K.L.; Dill, D.L.; Hwang, L.J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Call for papers: LICS fifth annual IEEE

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 106 KB

[IEEE Comput. Soc. Press Ninth Annual IE

✍ Robinson, E.P.; Rosolini, G. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 686 KB

[IEEE Comput. Soc. Press [1989] Proceedi

✍ Scott, D.S. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 156 KB

[IEEE Comput. Soc. Press [1989] Proceedi

✍ Degano, P.; Meseguer, J.; Montanari, U. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 929 KB