Notices. Notice
187 words·~1 min read·
/register/2002/05/07/02-11248A research copy — for the controlling text, always check the official state or federal source. Not legal advice.
BILLING CODE 3510-22-S DEPARTMENT OF DEFENSE Department of the Navy Notice of Availability of Invention for Licensing; Government-Owned Invention AGENCY: Department of the Navy, DoD. ACTION: Notice. SUMMARY: The invention listed below is assigned to the United States Government as represented by the Secretary of the Navy and is available for licensing by the Department of the Navy. Navy Case No. 83,234, entitled “Combining a Constraint Solvers with a BDD for Automatic Invariant Checking”.
ADDRESSES: Requests for information about the invention cited should be directed to the Naval Research Laboratory, Code 1004, 4555 Overlook Avenue, SW, Washington, DC 20375-5320, and must include the Navy Case number. FOR FURTHER INFORMATION CONTACT: Catherine M. Cotell, Ph.D., Head, Technology Transfer Office, NRL Code 1004, 4555 Overlook Avenue, SW, Washington, DC 20375-5320, telephone
(202)767-7230. Due to temporary U.S. Postal Service delays, please fax
(202)404-7920, E-Mail: *cotell@nrl.navy.mil* or use courier delivery to expedite response. ( **Authority:** 35 U.S.C. 207, 37 CFR Part 404) Dated: May 1, 2002. R. E. Vincent II, Lieutenant Commander, Judge Advocate General's Corps, U.S. Navy, Federal Register Liaison Officer. [FR Doc. 02-11248 Filed 5-6-02; 8:45 am]
Connectionstraces to 1
Traces to 1 document
1 reference not yet in our index
- 37 CFR 404
Citation graph
cites case law
Cites 2Cited by 0 across 0 sources