Testing Real-Time Constraints in a Process Algebraic Setting.

Duncan Clarke, Insup Lee

Browse the full ICSE paper archive.