June-Kyung Rho, Fabio Somenzi. Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. In Costas Courcoubetis, editor, Computer Aided Verification, 5th International Conference, CAV 93, Elounda, Greece, June 28 - July 1, 1993, Proceedings. Volume 697 of Lecture Notes in Computer Science, pages 123-137, Springer, 1993.
Abstract is missing.