Statistics
Publications
1
Citations
12
H-Index
1
Active since
2020
Affiliations
University of California, Riverside(Current)
Jeremiah Griffin is an author at University of California, Riverside specializing in computer science, systems architecture, and computing.
Publications per year
2020–2020
1
1
TLC: temporal logic of distributed components
Jeremiah Griffin, Mohsen Lesani, Narges Shadab et al. · Proceedings of the ACM on Programming Languages · 2020 · 12 citations · Full text
1–1 of 1