Abstractions for model checking of event timings.

Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti

Browse the full ISCAS paper archive.