An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
On the completeness of compositional reasoning methods
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |