Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jeremiah Griffin
conf.researchr.org general profile
ICFP 2020 profile
PLDI 2022 profile
Registered user since Wed 1 Jul 2020
Name:
Jeremiah Griffin
Affiliation:
University of California, Riverside
Contributions
2022
PLDI
Author of (ICFP 2020) TLC: Temporal Logic of Distributed Components within the SIGPLAN Track-track
2020
ICFP
Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track
Share
x
Thu 21 Nov 22:24