Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems http://127.0.0.1/xmlui/handle/123456789/7923 Tue, 07 Jul 2026 04:35:01 GMT 2026-07-07T04:35:01Z Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems http://127.0.0.1/xmlui/handle/123456789/7927 Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems Deka, Jatindra Kumar Sun, 01 Oct 2000 00:00:00 GMT http://127.0.0.1/xmlui/handle/123456789/7927 2000-10-01T00:00:00Z