Membership
Tour
Register
Log in
Margaret H. Holzmann
Follow
Person
Watchung, NJ, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Automatic generation and regeneration of a covering test case set f...
Patent number
6,804,634
Issue date
Oct 12, 2004
Lucent Technologies Inc.
Gerard J. Holzmann
G06 - COMPUTING CALCULATING COUNTING