Larry Dill
E1800579
UNEXPLORED
Larry Dill is a Canadian theoretical computer scientist known for his contributions to automata theory, formal verification, and the analysis of concurrent systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Larry Dill canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.