Discover open access scientific publications

Search, annotate, share and cite publications

Publications by E. Matsikoudis

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

English