Modeling and Verifying Real-Time Properties of Reactive Systems.

Fenglin Han, Peter Herrmann, Hien Le

Browse the full ICECCS paper archive.