Digitisation and Full Abstraction for Dense-Time Model Checking.

Jol Ouaknine

Browse the full TACAS paper archive.