Skip to Content

Notice

Notice of Availability of Invention for Licensing; Government-Owned Invention

Document Details

Information about this document as published in the Federal Register.

Published Document

This document has been published in the Federal Register. Use the PDF linked in the document sidebar for the official electronic format.

Start Preamble

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.

Start Further Info

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)

Start Signature

Dated: May 1, 2002.

R. E. Vincent II,

Lieutenant Commander, Judge Advocate General's Corps, U.S. Navy, Federal Register Liaison Officer.

End Signature End Further Info End Preamble

[FR Doc. 02-11248 Filed 5-6-02; 8:45 am]

BILLING CODE 3810-FF-P