Compositional Analysis of Multi-mode Systems.

Linh T. X. Phan, Insup Lee, Oleg Sokolsky

Browse the full ECRTS paper archive.