↓ Skip to main content

Formal Methods and Models for System Design

Overview of attention for book
Attention for Chapter 8: How to Compute the Refinement Relation for Parameterized Systems
Altmetric Badge

Citations

dimensions_citation
12 Dimensions