Analysis of Dynamic Process Networks.

Kedar S. Namjoshi, Richard J. Trefler

Browse the full TACAS paper archive.