Bounded Validity Checking of Interval Duration Logic.

Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty

Browse the full TACAS paper archive.