Search Landscape Sign in

Inventor

LUKMAN JEFFREY

US1 patents

Patents

1 patent

US10599552B2Mar 24, 2020

Model checker for finding distributed concurrency bugs

FUTUREWEI TECHNOLOGIES INC0 citations33