Office of Naval Research, 800 North Quincy Street, Arlington, VA 22217-5660

A -- SOFTWARE TOOLS FOR THE FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED REAL-TIME SYSTEMS Point of Contact: L. Vogel, ONR 252 (703) 696-2583. CNT N00014-95-C-0131. AMT $598,591.00. DTD 100295. To: Computer Command and Control. Company, Philadelphia,PA 19103. (286)

Loren Data Corp. http://www.ld.com (SYN# 0266 19951019\A-0009.AWD)