Membership
Tour
Register
Log in
Weihong Li
Follow
Person
Plainsboro, NJ, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
System and method for model checking by interleaving stateless and...
Patent number
8,589,126
Issue date
Nov 19, 2013
NEC Laboratories America, Inc.
Malay K. Ganai
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
SYSTEM AND METHOD FOR MODEL CHECKING BY INTERLEAVING STATELESS AND...
Publication number
20100305919
Publication date
Dec 2, 2010
NEC Laboratories America, Inc.
MALAY K. GANAI
G06 - COMPUTING CALCULATING COUNTING