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

doi 10.1109/wodes.2006.1678403
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE