Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Hi-index | 0.00 |