↓ Skip to main content

Topics in Theoretical Computer Science

Overview of attention for book
Attention for Chapter 7: Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
2 Mendeley