Event order abstraction for parametric real-time system verification.

Shinya Umeno

Browse the full EMSOFT paper archive.