Kedar Namjoshi
E384576
UNEXPLORED
Kedar Namjoshi is a computer scientist known for his work in formal verification and model checking, particularly in the context of concurrent and distributed systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.