IDR - IIT Kharagpur

Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems

Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems

 

Recent Submissions