Riley Roberts
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
Riley Roberts and others (2021) · Formal Methods for Industrial Critical Systems (FMICS 2021)