DMCA

A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems (2006)

by Adam Cataldo , Edward Lee , Xiaojun Liu , Eleftherios Matsikoudis , Haiyang Zheng
Venue:in Workshop on Discrete Event Systems (WODES), Ann Arbor
Citations:12 - 11 self