Granted Patent
Utility
US 6,157,901 · App. 09/139,186
Type annotation method for use in verification tools
Inventor:
Douglas J. Howe
Patented Case
View Patent ↗
Granted: Dec 5, 2000
Filed: Aug 25, 1998
Inventor
Douglas J. Howe
Assignee (at issue)
LUCENT TECHNOLOGIES INC.
This patent predates the USPTO's electronic file wrapper — prosecution documents from this era exist only in the Patent Office's paper records. A certified copy of the file history can be ordered from the USPTO's paper archives.