↓ Skip to main content

Logics for Concurrency

Overview of attention for book
Attention for Chapter 6: An automata-theoretic approach to linear temporal logic
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
15 Dimensions

Readers on

mendeley
142 Mendeley