Design and verification of multi-rate distributed systems.

Wenchao Li, Lonard Grard, Natarajan Shankar

Browse the full MEMOCODE paper archive.