Membership
Tour
Register
Log in
Lidan Miao
Follow
Person
Issaquah, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Model checking for distributed application validation
Patent number
9,092,561
Issue date
Jul 28, 2015
Microsoft Technology Licensing, LLC
Lidan Miao
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
MODEL CHECKING FOR DISTRIBUTED APPLICATION VALIDATION
Publication number
20120101800
Publication date
Apr 26, 2012
Microsoft Corporation
Lidan Miao
G06 - COMPUTING CALCULATING COUNTING