[Federal Register Volume 67, Number 88 (Tuesday, May 7, 2002)]
[Notices]
[Page 30652]
From the Federal Register Online via the Government Publishing Office [www.gpo.gov]
[FR Doc No: 02-11248]


=======================================================================
-----------------------------------------------------------------------

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: 
[email protected] 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]
BILLING CODE 3810-FF-P