T. Gahlinger

Publication Activity (10 Years)

Years Active: 1991-1998
Publications (10 Years): 0

Publications

Farhad Mavaddat, T. Gahlinger
On Deducing Timing Constraints in the Verification of Interfaces. Formal Methods Syst. Des. 12 (3) (1998)
Janusz A. Brzozowski, T. Gahlinger, Farhad Mavaddat
Consistency and satisfiability of waveform timing specifications. Networks 21 (1) (1991)