Moshe Y. Vardi. On the Complexity of Modular Model Checking. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 101-111, IEEE Computer Society, 1995.
No references recorded for this publication.
No citations of this publication recorded.