Action Refinement for True Concurrent Real Time.

Mila E. Majster-Cederbaum, Jinzhao Wu

Browse the full ICECCS paper archive.