The Control of Synchronous Systems, Part II.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Browse the full CONCUR paper archive.