Membership
Tour
Register
Log in
Lintao Zhang
Follow
Person
Princeton, NJ, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Efficient approaches for bounded model checking
Patent number
7,711,525
Issue date
May 4, 2010
NEC Corporation
Malay Ganai
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Efficient approaches for bounded model checking
Publication number
20030225552
Publication date
Dec 4, 2003
NEC Corporation
Malay Ganai
G06 - COMPUTING CALCULATING COUNTING