|
eCommons@Cornell >
Browsing by Author Henzinger, Thomas A.
Showing results 17 to 22 of 22
| Preview | Issue Date | Title | Author(s) | | Mar-1993 | Temporal Proof Methodologies for Timed Transition Systems | Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir |
| Jan-1992 | Timed Transition Systems | Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir |
| May-1993 | Towards Refining Temporal Specifications into Hybrid Systems | Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir |
| Feb-1995 | Undecidability Results for Hybrid Systems | Henzinger, Thomas A.; Kopke, Peter W. |
| Feb-1995 | Verification Methods for the Divergent Runs of Clock Systems | Henzinger, Thomas A.; Kopke, Peter W. |
| Sep-1995 | What's Decidable About Hybrid Automata? | Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin |
Showing results 17 to 22 of 22
|
