Timed vs. Time-Triggered Automata

Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi. Timed vs. Time-Triggered Automata. In Philippa Gardner, Nobuko Yoshida, editors, CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. Volume 3170 of Lecture Notes in Computer Science, pages 340-354, Springer, 2004. [doi]

Authors

Pavel Krcál

This author has not been identified. Look up 'Pavel Krcál' in Google

Leonid Mokrushin

This author has not been identified. Look up 'Leonid Mokrushin' in Google

P. S. Thiagarajan

This author has not been identified. Look up 'P. S. Thiagarajan' in Google

Wang Yi

This author has not been identified. Look up 'Wang Yi' in Google