GH

Gerard J. Holzmann

AT AT&T: 1 patents #374 of 1,435Top 30%
📍 Berkeley Heights, NJ: #32 of 97 inventorsTop 35%
🗺 New Jersey: #1,275 of 4,679 inventorsTop 30%
Overall (1997): #149,436 of 185,788Top 85%
1
Patents 1997

Issued Patents 1997

Showing 1–1 of 1 patents

Patent #TitleCo-InventorsDate
5615137 On-the-fly model checking with partial-order state space reduction Doron A. Peled 1997-03-25