Consult an Expert
Trademark
Design Registration
Consult an Expert
Trademark
Copyright
Patent
Infringement
Design Registration
More
Consult an Expert
Consult an Expert
Trademark
Design Registration
Login
Patent search/
A TOOL FOR MODEL CHECKING FOR A TRANSITION SYSTEM USING TIMED BUCHI AUTOMATA WITH TWO TIMERS
Patent Search in India
Extensive patent search conducted by a registered patent agent
Patent search done by experts in under 48hrs
₹999
₹399
Talk to expert
Abstract
Information
Inventors
Applicants
Specification
Documents
A TOOL FOR MODEL CHECKING FOR A TRANSITION SYSTEM USING TIMED BUCHI AUTOMATA WITH TWO TIMERS
ORDINARY APPLICATION
Published
Filed on 16 October 2023
Patent Information
| Application ID | 202341070248 |
| Date of Application | 16/10/2023 |
Documents
| Name | Date |
|---|---|
| 202341070248-COMPLETE SPECIFICATION [16-10-2023(online)].pdf | 16/10/2023 |
| 202341070248-DECLARATION OF INVENTORSHIP (FORM 5) [16-10-2023(online)].pdf | 16/10/2023 |
| 202341070248-DRAWINGS [16-10-2023(online)].pdf | 16/10/2023 |
| 202341070248-EVIDENCE FOR REGISTRATION UNDER SSI(FORM-28) [16-10-2023(online)].pdf | 16/10/2023 |
| 202341070248-FORM 1 [16-10-2023(online)].pdf | 16/10/2023 |
| 202341070248-FORM FOR SMALL ENTITY(FORM-28) [16-10-2023(online)].pdf | 16/10/2023 |
| 202341070248-REQUEST FOR EARLY PUBLICATION(FORM-9) [16-10-2023(online)].pdf | 16/10/2023 |
