Statistics
Publications
20
Citations
1.4K
H-Index
18
Active since
1984
Affiliations
Colin Stirling is an author at University of Edinburgh specializing in computer science, computing, and formal methods.
Publications per year
1984–2018
20
20
Modal logics for communicating systems
Colin Stirling · Theoretical Computer Science · 1987 · 139 citations
Local model checking for infinite state spaces
Julian Bradfield, Colin Stirling · Theoretical Computer Science · 1992 · 76 citations · Full text
1–5 of 20