INCREMENTAL AUTOMATA VERIFICATION

Details for Australian Patent Application No. 2002350006 (hide)

Owner HONEYWELL INTERNATIONAL INC.

Inventors PELICAN, Michael, J.; GOLDMAN, Robert, P.; MUSLINER, David, J.

Pub. Number AU-A-2002350006

PCT Number PCT/US02/34429

PCT Pub. Number WO2003/038690

Priority 10/015,058 29.10.01 US

Filing date 29 October 2002

Wipo publication date 12 May 2003

International Classifications

G06F 017/50 Digital computing or data processing equipment or methods, specially adapted for specific functions - Computer-aided design

Event Publications

20 March 2003 Complete Application Filed

  Priority application(s): 10/015,058 29.10.01 US

10 July 2003 Application Open to Public Inspection

  Published as AU-A-2002350006

15 July 2004 Application Lapsed, Refused Or Withdrawn, Patent Ceased or Expired

  This application lapsed under section 142(2)(f)/See Reg. 8.3(3). Examination has not yet been requested or directed for this application. Note that applications or patents shown as lapsed or ceased may be restored at a later date.

Legal

The information provided by the Site not in the nature of legal or other professional advice. The information provided by the Site is derived from third parties and may contain errors. You must make your own enquiries and seek independent advice from the relevant industry professionals before acting or relying on any information contained herein. Check the above data against the Australian Patent Office AUSPAT database.

Next and Previous Patents/Applications

2002350007-STAGGERED STARTUP FOR CYCLIC PRIORITIZED MULTIPLE ACESS (CPMA) CONTENTION-FREE SESSIONS

2002350005-SYSTEM AND METHOD FOR PROVIDING USAGE MONITORING TELEPHONY SERVICES